Anne is nice. Anne is smart. Anne is young. Erin is red. Erin is rough. Erin is smart. Erin is white. Erin is young. Fiona is furry. Fiona is red. Fiona is rough. Fiona is smart. Gary is furry. Gary is rough. Gary is smart. Gary is young. If Erin is smart and Erin is furry then Erin is red. If Gary is rough and Gary is furry then Gary is smart. White people are smart.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If Erin is smart and Erin is furry then Erin is red.
((("Erin" "is" "smart" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "red" "+"))
If Gary is rough and Gary is furry then Gary is smart.
((("Gary" "is" "rough" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "smart" "+"))
White people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
Anne is smart.
True
1
proof
[(triple2)]
("Anne" "is" "smart" "+")
triple2
Erin is not young.
False
1
inv-proof
[(triple8)]
("Erin" "is" "young" "-")
triple8
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6 OR ((triple7) -> rule3))] Erin is white.[(triple7)] Erin is young.[(triple8)] Fiona is furry.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12)] Gary is furry.[(triple13)] Gary is rough.[(triple14)] Gary is smart.[(triple15 OR ((triple14 triple13) -> rule2))] Gary is young.[(triple16)]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
((triple7) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
((triple14 triple13) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple16