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