Erin is not red. Fiona is kind. Gary is white. Harry is cold. If Fiona is not green then Fiona is kind. If Fiona is red and Fiona is green then Fiona is big. Green, nice people are not cold.
Erin is not red.
("Erin" "is" "red" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If Fiona is not green then Fiona is kind.
((("Fiona" "is" "green" "~")) -> ("Fiona" "is" "kind" "+"))
If Fiona is red and Fiona is green then Fiona is big.
((("Fiona" "is" "red" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "big" "+"))
Green, nice people are not cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "-"))
Fiona is kind.
True
1
proof
[(triple2)]
("Fiona" "is" "kind" "+")
triple2
Fiona is not kind.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "kind" "-")
triple2
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "big" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Erin is not red.[(triple1)] Fiona is kind.[(triple2)] Gary is white.[(triple3)] Harry is cold.[(triple4)]
Erin is not red.
("Erin" "is" "red" "-")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple4