Charlie is cold. Erin is big. Erin is rough. Gary is big. Gary is not cold. Gary is rough. Harry is big. Harry is cold. Harry is not furry. Harry is red. If someone is rough and not green then they are furry. If someone is big and not red then they are furry. If Gary is rough and Gary is green then Gary is not big. If Charlie is green and Charlie is cold then Charlie is big. If someone is rough and not cold then they are young. If someone is big and not cold then they are young.
Charlie is cold.
("Charlie" "is" "cold" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is red.
("Harry" "is" "red" "+")
If someone is rough and not green then they are furry.
((("someone" "is" "rough" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "furry" "+"))
If someone is big and not red then they are furry.
((("someone" "is" "big" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "furry" "+"))
If Gary is rough and Gary is green then Gary is not big.
((("Gary" "is" "rough" "+") ("Gary" "is" "green" "+")) -> ("Gary" "is" "big" "-"))
If Charlie is green and Charlie is cold then Charlie is big.
((("Charlie" "is" "green" "+") ("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "big" "+"))
If someone is rough and not cold then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "young" "+"))
If someone is big and not cold then they are young.
((("someone" "is" "big" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "young" "+"))
Gary is big.
True
1
proof
[(triple4)]
("Gary" "is" "big" "+")
triple4
Erin is not big.
False
1
inv-proof
[(triple2)]
("Erin" "is" "big" "-")
triple2
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is cold.[(triple1)] Erin is big.[(triple2)] Erin is rough.[(triple3)] Gary is big.[(triple4)] Gary is not cold.[(triple5)] Gary is rough.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is not furry.[(triple9)] Harry is red.[(triple10)] @1: Gary is young.[(((triple4 triple5) -> rule6) OR ((triple6 triple5) -> rule5))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is not cold.
("Gary" "is" "cold" "-")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is not furry.
("Harry" "is" "furry" "-")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
((triple4 triple5) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple6 triple5) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1