Anne is not blue. Anne is kind. Anne is red. Anne is smart. Erin is furry. Erin is smart. Gary is blue. Big things are kind. If something is kind then it is red. If something is big then it is red. If something is red then it is not big. If something is kind and not furry then it is blue. If something is smart and furry then it is blue. If something is rough and big then it is smart. If Erin is smart and Erin is not red then Erin is rough.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it is red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something is big then it is red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is red then it is not big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "-"))
If something is kind and not furry then it is blue.
((("something" "is" "kind" "+") ("something" "is" "furry" "~")) -> ("something" "is" "blue" "+"))
If something is smart and furry then it is blue.
((("something" "is" "smart" "+") ("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
If something is rough and big then it is smart.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
If Erin is smart and Erin is not red then Erin is rough.
((("Erin" "is" "smart" "+") ("Erin" "is" "red" "~")) -> ("Erin" "is" "rough" "+"))
Erin is smart.
True
1
proof
[(triple6)]
("Erin" "is" "smart" "+")
triple6
Erin is not furry.
False
1
inv-proof
[(triple5)]
("Erin" "is" "furry" "-")
triple5
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "smart" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Anne is kind.[(triple2)] Anne is not blue.[(triple1)] Anne is red.[(triple3 OR ((triple2) -> rule2))] Anne is smart.[(triple4)] Erin is furry.[(triple5)] Erin is smart.[(triple6)] Gary is blue.[(triple7)] @1: Anne is not big.[(((triple3) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] Erin is blue.[(((triple6 triple5) -> rule6))]
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple3
((triple2) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Anne is not big.
("Anne" "is" "big" "-")
((triple3) -> (rule4 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((triple6 triple5) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1