Erin is nice. Erin is round. Erin is white. Fiona is blue. Fiona is nice. Fiona is round. Fiona is white. Fiona is young. Gary is white. Gary is young. Round, cold things are white. If something is red and young then it is cold.
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Round, cold things are white.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If something is red and young then it is cold.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Fiona is round.
True
1
proof
[(triple6)]
("Fiona" "is" "round" "+")
triple6
Fiona is not young.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "young" "-")
triple8
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "cold" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Erin is nice.[(triple1)] Erin is round.[(triple2)] Erin is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is nice.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)] Fiona is young.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10