Anne is furry. Anne is rough. Fiona is smart. Fiona is white. Gary is furry. Gary is rough. Gary is white. Furry, rough people are smart.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Furry, rough people are smart.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Gary is white.
True
1
proof
[(triple7)]
("Gary" "is" "white" "+")
triple7
Fiona is not smart.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "smart" "-")
triple3
Gary is smart.
True
3
proof
[(((triple5 triple6) -> rule1))]
("Gary" "is" "smart" "+")
((triple5 triple6) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Anne is not smart.
False
3
inv-proof
[(((triple1 triple2) -> rule1))]
("Anne" "is" "smart" "-")
((triple1 triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Fiona is smart.[(triple3)] Fiona is white.[(triple4)] Gary is furry.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple7)] @1: Anne is smart.[(((triple1 triple2) -> rule1))] Gary is smart.[(((triple5 triple6) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Anne is smart.
("Anne" "is" "smart" "+")
((triple1 triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple5 triple6) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1