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