Erin is not white. Fiona is big. Harry is cold. Cold things are big. If Fiona is white then Fiona is not cold. If something is furry then it is red.
Erin is not white.
("Erin" "is" "white" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Cold things are big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If Fiona is white then Fiona is not cold.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "cold" "-"))
If something is furry then it is red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
Harry is cold.
True
1
proof
[(triple3)]
("Harry" "is" "cold" "+")
triple3
Erin is white.
False
1
inv-proof
[(triple1)]
("Erin" "is" "white" "+")
triple1
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Erin is not white.[(triple1)] Fiona is big.[(triple2)] Harry is cold.[(triple3)] @1: Harry is big.[(((triple3) -> rule1))]
Erin is not white.
("Erin" "is" "white" "-")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Harry is cold.
("Harry" "is" "cold" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
((triple3) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1