Erin is round. Fiona is young. Gary is blue. Harry is quiet. If Fiona is blue then Fiona is round. If Harry is round then Harry is white. All red, round people are blue. If Fiona is round then Fiona is cold. Cold people are white. All blue people are red.
Erin is round.
("Erin" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If Fiona is blue then Fiona is round.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "round" "+"))
If Harry is round then Harry is white.
((("Harry" "is" "round" "+")) -> ("Harry" "is" "white" "+"))
All red, round people are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If Fiona is round then Fiona is cold.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "cold" "+"))
Cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
All blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Gary is blue.
True
1
proof
[(triple3)]
("Gary" "is" "blue" "+")
triple3
Fiona is not young.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "young" "-")
triple2
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "white" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Erin is round.[(triple1)] Fiona is young.[(triple2)] Gary is blue.[(triple3)] Harry is quiet.[(triple4)] @1: Gary is red.[(((triple3) -> rule6))]
Erin is round.
("Erin" "is" "round" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
((triple3) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1