Bob is blue. Charlie is not cold. Erin is blue. Fiona is not furry. All cold things are big. Big things are cold. Cold things are rough.
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
All cold things are big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
Big things are cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
Cold things are rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Charlie is not cold.
True
1
proof
[(triple2)]
("Charlie" "is" "cold" "-")
triple2
Erin is not blue.
False
1
inv-proof
[(triple3)]
("Erin" "is" "blue" "-")
triple3
Erin is not big.
Unknown
inv-rconc
[@2: Erin is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Erin" "is" "big" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Bob is blue.[(triple1)] Charlie is not cold.[(triple2)] Erin is blue.[(triple3)] Fiona is not furry.[(triple4)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple4