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