Charlie is young. Erin is green. Gary is green. Young people are nice. All young, nice people are white. If someone is green and big then they are young. White people are green. If someone is young then they are furry. All green, white people are blue. All white, big people are nice. Green people are young.
Charlie is young.
("Charlie" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Gary is green.
("Gary" "is" "green" "+")
Young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
All young, nice people are white.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If someone is green and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
White people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If someone is young then they are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
All green, white people are blue.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
All white, big people are nice.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Gary is green.
True
1
proof
[(triple3)]
("Gary" "is" "green" "+")
triple3
Charlie is not young.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "young" "-")
triple1
Erin is young.
True
2
proof
[(((triple2) -> rule8))]
("Erin" "is" "young" "+")
((triple2) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Charlie is not nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "nice" "-")
((triple1) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Gary is nice.
True
3
proof
[(((((triple3) -> rule8)) -> rule1))]
("Gary" "is" "nice" "+")
((((triple3) -> (rule8 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Erin is not furry.
False
3
inv-proof
[(((((triple2) -> rule8)) -> rule5))]
("Erin" "is" "furry" "-")
((((triple2) -> (rule8 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
True
6
proof
[(((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule1)) -> rule2))]
("Erin" "is" "white" "+")
((((triple2) -> (rule8 % int3)) ((((triple2) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Charlie is not green.
False
5
inv-proof
[(((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule4))]
("Charlie" "is" "green" "-")
((((triple1 ((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Charlie is young.[(triple1)] Erin is green.[(triple2)] Gary is green.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule5))] Charlie is nice.[(((triple1) -> rule1))] Erin is young.[(((triple2) -> rule8))] Gary is young.[(((triple3) -> rule8))] @2: Charlie is white.[(((triple1 ((triple1) -> rule1)) -> rule2))] Erin is furry.[(((((triple2) -> rule8)) -> rule5))] Erin is nice.[(((((triple2) -> rule8)) -> rule1))] Gary is furry.[(((((triple3) -> rule8)) -> rule5))] Gary is nice.[(((((triple3) -> rule8)) -> rule1))] @3: Charlie is green.[(((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule4))] Erin is white.[(((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule1)) -> rule2))] Gary is white.[(((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule1)) -> rule2))] @4: Charlie is blue.[(((((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule4) ((triple1 ((triple1) -> rule1)) -> rule2)) -> rule6))] Erin is blue.[(((triple2 ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule1)) -> rule2)) -> rule6))] Gary is blue.[(((triple3 ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule1)) -> rule2)) -> rule6))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple1) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple2) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple3) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
((((triple2) -> (rule8 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((((triple2) -> (rule8 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((((triple3) -> (rule8 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple3) -> (rule8 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((triple1 ((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
((((triple2) -> (rule8 % int3)) ((((triple2) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
((((((triple1 ((triple1) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1 ((triple1) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
((triple2 ((((triple2) -> (rule8 % int4)) ((((triple2) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
((triple3 ((((triple3) -> (rule8 % int4)) ((((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4