Anne is nice. Anne is not round. Anne is white. Anne is young. Charlie is big. Charlie is nice. Fiona is big. Fiona is blue. Fiona is nice. Fiona is red. Fiona is round. Fiona is not white. Gary is big. Gary is nice. Gary is white. Gary is young. All white, nice people are not round. If someone is nice and not big then they are round. If Gary is white and Gary is round then Gary is not nice. Nice, white people are blue. If someone is nice and not round then they are not red. If someone is young and not white then they are red.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not round.
("Anne" "is" "round" "-")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All white, nice people are not round.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "-"))
If someone is nice and not big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "round" "+"))
If Gary is white and Gary is round then Gary is not nice.
((("Gary" "is" "white" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "nice" "-"))
Nice, white people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and not round then they are not red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "red" "-"))
If someone is young and not white then they are red.
((("someone" "is" "young" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "red" "+"))
Gary is young.
True
1
proof
[(triple16)]
("Gary" "is" "young" "+")
triple16
Fiona is not big.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "big" "-")
triple7
Anne is not red.
True
3
proof
[(((triple1 triple2) -> rule5) OR ((triple1 ((triple3 triple1) -> rule1)) -> rule5))]
("Anne" "is" "red" "-")
((triple1 triple2) -> (rule5 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
((triple1 ((triple3 triple1) -> (rule1 % int2))) -> (rule5 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
Anne is not round.
("Anne" "is" "round" "-")
int2
Gary is round.
False
3
inv-proof
[(((triple15 triple14) -> rule1))]
("Gary" "is" "round" "+")
((triple15 triple14) -> (rule1 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is not red.
True
5
proof
[(((triple14 ((triple15 triple14) -> rule1)) -> rule5))]
("Gary" "is" "red" "-")
((triple14 ((triple15 triple14) -> (rule1 % int2))) -> (rule5 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1
Gary is not round.
("Gary" "is" "round" "-")
int2
Gary is red.
False
5
inv-proof
[(((triple14 ((triple15 triple14) -> rule1)) -> rule5))]
("Gary" "is" "red" "+")
((triple14 ((triple15 triple14) -> (rule1 % int2))) -> (rule5 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1
Gary is not round.
("Gary" "is" "round" "-")
int2
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "red" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Anne is nice.[(triple1)] Anne is not round.[(triple2 OR ((triple3 triple1) -> rule1))] Anne is white.[(triple3)] Anne is young.[(triple4)] Charlie is big.[(triple5)] Charlie is nice.[(triple6)] Fiona is big.[(triple7)] Fiona is blue.[(triple8)] Fiona is nice.[(triple9)] Fiona is not white.[(triple12)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] Gary is big.[(triple13)] Gary is nice.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Anne is blue.[(((triple1 triple3) -> rule4))] Anne is not red.[(((triple1 triple2) -> rule5) OR ((triple1 ((triple3 triple1) -> rule1)) -> rule5))] Gary is blue.[(((triple14 triple15) -> rule4))] Gary is not round.[(((triple15 triple14) -> rule1))] @2: Gary is not red.[(((triple14 ((triple15 triple14) -> rule1)) -> rule5))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is not round.
("Anne" "is" "round" "-")
triple2
((triple3 triple1) -> (rule1 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is not white.
("Fiona" "is" "white" "-")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Anne is blue.
("Anne" "is" "blue" "+")
((triple1 triple3) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not red.
("Anne" "is" "red" "-")
((triple1 triple2) -> (rule5 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
((triple1 ((triple3 triple1) -> (rule1 % int2))) -> (rule5 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
Anne is not round.
("Anne" "is" "round" "-")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((triple14 triple15) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not round.
("Gary" "is" "round" "-")
((triple15 triple14) -> (rule1 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is not red.
("Gary" "is" "red" "-")
((triple14 ((triple15 triple14) -> (rule1 % int2))) -> (rule5 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1
Gary is not round.
("Gary" "is" "round" "-")
int2