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