Anne is blue. Anne is red. Anne is round. Anne is white. Charlie is blue. Charlie is kind. Charlie is red. Charlie is white. Charlie is young. Erin is blue. Erin is cold. Erin is kind. Erin is round. Erin is white. Erin is young. All blue people are cold. Cold people are kind.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Anne is white.
True
1
proof
[(triple4)]
("Anne" "is" "white" "+")
triple4
Erin is not cold.
False
1
inv-proof
[(triple11 OR ((triple10) -> rule1))]
("Erin" "is" "cold" "-")
triple11
((triple10) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Anne is cold.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("Anne" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is not kind.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule2))]
("Anne" "is" "kind" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Charlie is blue.[(triple5)] Charlie is kind.[(triple6 OR ((((triple5) -> rule1)) -> rule2))] Charlie is red.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9)] Erin is blue.[(triple10)] Erin is cold.[(triple11 OR ((triple10) -> rule1))] Erin is kind.[(triple12 OR ((triple11) -> rule2) OR ((((triple10) -> rule1)) -> rule2))] Erin is round.[(triple13)] Erin is white.[(triple14)] Erin is young.[(triple15)] @1: Anne is cold.[(((triple1) -> rule1))] Charlie is cold.[(((triple5) -> rule1))] @2: Anne is kind.[(((((triple1) -> rule1)) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is white.
("Charlie" "is" "white" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Erin is blue.
("Erin" "is" "blue" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
triple11
((triple10) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple12
((triple11) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
triple13
Erin is white.
("Erin" "is" "white" "+")
triple14
Erin is young.
("Erin" "is" "young" "+")
triple15
Anne is cold.
("Anne" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2