Erin is not blue. Erin is green. Erin is nice. Erin is not red. Fiona is big. Fiona is not blue. Fiona is cold. Fiona is nice. Fiona is not quiet. Fiona is red. If someone is quiet and not green then they are not cold. All green people are big. If Fiona is red and Fiona is green then Fiona is quiet.
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not red.
("Erin" "is" "red" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is red.
("Fiona" "is" "red" "+")
If someone is quiet and not green then they are not cold.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "cold" "-"))
All green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If Fiona is red and Fiona is green then Fiona is quiet.
((("Fiona" "is" "red" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "quiet" "+"))
Erin is green.
True
1
proof
[(triple2)]
("Erin" "is" "green" "+")
triple2
Fiona is blue.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "blue" "+")
triple6
Erin is big.
True
2
proof
[(((triple2) -> rule2))]
("Erin" "is" "big" "+")
((triple2) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not big.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "big" "-")
((triple2) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is not blue.[(triple1)] Erin is not red.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple7)] Fiona is nice.[(triple8)] Fiona is not blue.[(triple6)] Fiona is not quiet.[(triple9)] Fiona is red.[(triple10)] @1: Erin is big.[(((triple2) -> rule2))]
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is not blue.
("Erin" "is" "blue" "-")
triple1
Erin is not red.
("Erin" "is" "red" "-")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple6
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Erin is big.
("Erin" "is" "big" "+")
((triple2) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1