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