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