Anne is nice. Fiona is round. Gary is cold. Harry is not red. If someone is cold and rough then they are big. If Anne is big then Anne is rough. If someone is cold then they are not rough. All nice people are rough. Red people are not green. All round, rough people are not nice. If someone is nice and round then they are cold. If someone is green then they are round.
Anne is nice.
("Anne" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is not red.
("Harry" "is" "red" "-")
If someone is cold and rough then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If Anne is big then Anne is rough.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "rough" "+"))
If someone is cold then they are not rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "-"))
All nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Red people are not green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "-"))
All round, rough people are not nice.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "-"))
If someone is nice and round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Gary is cold.
True
1
proof
[(triple3)]
("Gary" "is" "cold" "+")
triple3
Anne is not nice.
False
1
inv-proof
[(triple1)]
("Anne" "is" "nice" "-")
triple1
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "cold" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is nice.[(triple1)] Fiona is round.[(triple2)] Gary is cold.[(triple3)] Harry is not red.[(triple4)] @1: Anne is rough.[(((triple1) -> rule4))] Gary is not rough.[(((triple3) -> rule3))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Harry is not red.
("Harry" "is" "red" "-")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Gary is not rough.
("Gary" "is" "rough" "-")
((triple3) -> (rule3 % int1))
Gary is not rough.
("Gary" "is" "rough" "-")
int1