Erin is not big. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is red. Fiona is big. Fiona is furry. Fiona is nice. Fiona is red. Gary is furry. If someone is nice and not red then they are not kind. If Fiona is not cold and Fiona is not big then Fiona is blue.
Erin is not big.
("Erin" "is" "big" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If someone is nice and not red then they are not kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "kind" "-"))
If Fiona is not cold and Fiona is not big then Fiona is blue.
((("Fiona" "is" "cold" "~") ("Fiona" "is" "big" "~")) -> ("Fiona" "is" "blue" "+"))
Fiona is big.
True
1
proof
[(triple8)]
("Fiona" "is" "big" "+")
triple8
Erin is not cold.
False
1
inv-proof
[(triple3)]
("Erin" "is" "cold" "-")
triple3
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "blue" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is not big.[(triple1)] Erin is red.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is nice.[(triple10)] Fiona is red.[(triple11)] Gary is furry.[(triple12)]
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is not big.
("Erin" "is" "big" "-")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12