Anne is big. Anne is furry. Anne is rough. Anne is white. Anne is young. Gary is big. Gary is furry. Gary is nice. Gary is rough. Gary is round. Gary is white. Gary is young. Harry is big. Harry is nice. Harry is young. Rough, big things are young. If Harry is nice then Harry is furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
Rough, big things are young.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If Harry is nice then Harry is furry.
((("Harry" "is" "nice" "+")) -> ("Harry" "is" "furry" "+"))
Gary is nice.
True
1
proof
[(triple8)]
("Gary" "is" "nice" "+")
triple8
Gary is not young.
False
1
inv-proof
[(triple12 OR ((triple9 triple6) -> rule1))]
("Gary" "is" "young" "-")
triple12
((triple9 triple6) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5 OR ((triple3 triple1) -> rule1))] Gary is big.[(triple6)] Gary is furry.[(triple7)] Gary is nice.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12 OR ((triple9 triple6) -> rule1))] Harry is big.[(triple13)] Harry is nice.[(triple14)] Harry is young.[(triple15)] @1: Harry is furry.[(((triple14) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
((triple3 triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
((triple9 triple6) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Harry is furry.
("Harry" "is" "furry" "+")
((triple14) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1