Erin is big. Erin is cold. Erin is furry. Erin is young. Gary is big. Gary is cold. Gary is not nice. Gary is round. Gary is young. Harry is cold. If Gary is big and Gary is round then Gary is not rough. If Harry is furry and Harry is round then Harry is young. If something is big and not nice then it is not rough.
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If Gary is big and Gary is round then Gary is not rough.
((("Gary" "is" "big" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "rough" "-"))
If Harry is furry and Harry is round then Harry is young.
((("Harry" "is" "furry" "+") ("Harry" "is" "round" "+")) -> ("Harry" "is" "young" "+"))
If something is big and not nice then it is not rough.
((("something" "is" "big" "+") ("something" "is" "nice" "~")) -> ("something" "is" "rough" "-"))
Gary is big.
True
1
proof
[(triple5)]
("Gary" "is" "big" "+")
triple5
Erin is not big.
False
1
inv-proof
[(triple1)]
("Erin" "is" "big" "-")
triple1
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is young.[(triple4)] Gary is big.[(triple5)] Gary is cold.[(triple6)] Gary is not nice.[(triple7)] Gary is round.[(triple8)] Gary is young.[(triple9)] Harry is cold.[(triple10)] @1: Gary is not rough.[(((triple5 triple7) -> rule3) OR ((triple5 triple8) -> rule1))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is not nice.
("Gary" "is" "nice" "-")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Gary is not rough.
("Gary" "is" "rough" "-")
((triple5 triple7) -> (rule3 % int1))
Gary is not rough.
("Gary" "is" "rough" "-")
int1
((triple5 triple8) -> (rule1 % int1))
Gary is not rough.
("Gary" "is" "rough" "-")
int1