Anne is blue. Dave is cold. Erin is young. Fiona is blue. If Fiona is quiet and Fiona is cold then Fiona is red. All round, blue people are red. If someone is rough and round then they are quiet. If someone is quiet then they are cold. If someone is rough then they are blue. If someone is quiet and round then they are young.
Anne is blue.
("Anne" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
If Fiona is quiet and Fiona is cold then Fiona is red.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "red" "+"))
All round, blue people are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and round then they are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If someone is quiet then they are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is quiet and round then they are young.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Dave is cold.
True
1
proof
[(triple2)]
("Dave" "is" "cold" "+")
triple2
Fiona is not blue.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "blue" "-")
triple4
Anne is not cold.
Unknown
inv-rconc
[@2: Anne is cold.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Anne" "is" "cold" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is blue.[(triple1)] Dave is cold.[(triple2)] Erin is young.[(triple3)] Fiona is blue.[(triple4)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4