Charlie is cold. Charlie is furry. Charlie is rough. Charlie is white. Erin is furry. Erin is green. Erin is rough. Erin is round. Erin is white. Erin is young. Cold, green people are white. Green, white people are furry. White, cold people are round. If someone is green and young then they are furry. White people are round. All furry, round people are green.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Cold, green people are white.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Green, white people are furry.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
White, cold people are round.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is green and young then they are furry.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
White people are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All furry, round people are green.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Charlie is furry.
True
1
proof
[(triple2)]
("Charlie" "is" "furry" "+")
triple2
Charlie is not furry.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "furry" "-")
triple2
Charlie is round.
True
2
proof
[(((triple4) -> rule5) OR ((triple4 triple1) -> rule3))]
("Charlie" "is" "round" "+")
((triple4) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple4 triple1) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple4) -> rule5) OR ((triple4 triple1) -> rule3))]
("Charlie" "is" "round" "-")
((triple4) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple4 triple1) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
True
4
proof
[(((triple2 ((triple4) -> rule5)) -> rule6) OR ((triple2 ((triple4 triple1) -> rule3)) -> rule6))]
("Charlie" "is" "green" "+")
((triple2 ((triple4) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple2 ((triple4 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not green.
False
4
inv-proof
[(((triple2 ((triple4) -> rule5)) -> rule6) OR ((triple2 ((triple4 triple1) -> rule3)) -> rule6))]
("Charlie" "is" "green" "-")
((triple2 ((triple4) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple2 ((triple4 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is rough.[(triple3)] Charlie is white.[(triple4)] Erin is furry.[(triple5 OR ((triple6 triple10) -> rule4) OR ((triple6 triple9) -> rule2))] Erin is green.[(triple6 OR ((triple5 triple8) -> rule6) OR ((triple5 ((triple9) -> rule5)) -> rule6))] Erin is rough.[(triple7)] Erin is round.[(triple8 OR ((triple9) -> rule5))] Erin is white.[(triple9)] Erin is young.[(triple10)] @1: Charlie is round.[(((triple4) -> rule5) OR ((triple4 triple1) -> rule3))] @2: Charlie is green.[(((triple2 ((triple4) -> rule5)) -> rule6) OR ((triple2 ((triple4 triple1) -> rule3)) -> rule6))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
((triple6 triple10) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple6 triple9) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple6
((triple5 triple8) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple5 ((triple9) -> (rule5 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple8
((triple9) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Charlie is round.
("Charlie" "is" "round" "+")
((triple4) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple4 triple1) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple2 ((triple4) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple2 ((triple4 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2