Anne is rough. Anne is young. Dave is big. Dave is blue. Dave is cold. Harry is blue. Harry is nice. Young people are blue. Furry people are not young.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Furry people are not young.
((("someone" "is" "furry" "+")) -> ("someone" "is" "young" "-"))
Anne is rough.
True
1
proof
[(triple1)]
("Anne" "is" "rough" "+")
triple1
Dave is not blue.
False
1
inv-proof
[(triple4)]
("Dave" "is" "blue" "-")
triple4
Anne is blue.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not blue.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "blue" "-")
((triple2) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Anne is rough.[(triple1)] Anne is young.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Harry is blue.[(triple6)] Harry is nice.[(triple7)] @1: Anne is blue.[(((triple2) -> rule1))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Anne is blue.
("Anne" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1