Anne is cold. Anne is green. Anne is nice. Anne is smart. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is smart. Erin is white. All green things are white.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
All green things are white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Erin is nice.
True
1
proof
[(triple12)]
("Erin" "is" "nice" "+")
triple12
Charlie is not nice.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "nice" "-")
triple8
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4)] Charlie is blue.[(triple5)] Charlie is cold.[(triple6)] Charlie is green.[(triple7)] Charlie is nice.[(triple8)] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is green.[(triple11)] Erin is nice.[(triple12)] Erin is red.[(triple13)] Erin is smart.[(triple14)] Erin is white.[(triple15 OR ((triple11) -> rule1))] @1: Anne is white.[(((triple2) -> rule1))] Charlie is white.[(((triple7) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
Erin is blue.
("Erin" "is" "blue" "+")
triple9
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Erin is green.
("Erin" "is" "green" "+")
triple11
Erin is nice.
("Erin" "is" "nice" "+")
triple12
Erin is red.
("Erin" "is" "red" "+")
triple13
Erin is smart.
("Erin" "is" "smart" "+")
triple14
Erin is white.
("Erin" "is" "white" "+")
triple15
((triple11) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple2) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple7) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1