Erin is cold. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is white. Harry is cold. Harry is green. Harry is kind. Harry is red. Harry is rough. Harry is white. All white people are cold.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
All white people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Erin is quiet.
True
1
proof
[(triple4)]
("Erin" "is" "quiet" "+")
triple4
Harry is not white.
False
1
inv-proof
[(triple12)]
("Harry" "is" "white" "-")
triple12
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Erin is cold.[(triple1 OR ((triple6) -> rule1))] Erin is green.[(triple2)] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is white.[(triple6)] Harry is cold.[(triple7 OR ((triple12) -> rule1))] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is white.[(triple12)]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
((triple6) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
((triple12) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12