Fiona is green. Fiona is red. Gary is red. All red things are round. All green things are round. Green things are furry. If Fiona is red then Fiona is young. If something is smart then it is round. All red things are green. Green, red things are quiet. All quiet things are young.
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is red.
("Gary" "is" "red" "+")
All red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
All green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Green things are furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
If Fiona is red then Fiona is young.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "young" "+"))
If something is smart then it is round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
All red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Green, red things are quiet.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
All quiet things are young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Fiona is green.
True
1
proof
[(triple1 OR ((triple2) -> rule6))]
("Fiona" "is" "green" "+")
triple1
((triple2) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule6))]
("Fiona" "is" "green" "-")
triple1
((triple2) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
True
2
proof
[(((triple1) -> rule3) OR ((((triple2) -> rule6)) -> rule3))]
("Fiona" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not quiet.
False
3
inv-proof
[(((triple1 triple2) -> rule7) OR ((((triple2) -> rule6) triple2) -> rule7))]
("Fiona" "is" "quiet" "-")
((triple1 triple2) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple2) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Gary is furry.
True
3
proof
[(((((triple3) -> rule6)) -> rule3))]
("Gary" "is" "furry" "+")
((((triple3) -> (rule6 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not quiet.
False
4
inv-proof
[(((((triple3) -> rule6) triple3) -> rule7))]
("Gary" "is" "quiet" "-")
((((triple3) -> (rule6 % int2)) triple3) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
True
5
proof
[(((((((triple3) -> rule6) triple3) -> rule7)) -> rule8))]
("Gary" "is" "young" "+")
((((((triple3) -> (rule6 % int3)) triple3) -> (rule7 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not young.
False
5
inv-proof
[(((((((triple3) -> rule6) triple3) -> rule7)) -> rule8))]
("Gary" "is" "young" "-")
((((((triple3) -> (rule6 % int3)) triple3) -> (rule7 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Fiona is green.[(triple1 OR ((triple2) -> rule6))] Fiona is red.[(triple2)] Gary is red.[(triple3)] @1: Fiona is furry.[(((triple1) -> rule3) OR ((((triple2) -> rule6)) -> rule3))] Fiona is quiet.[(((triple1 triple2) -> rule7) OR ((((triple2) -> rule6) triple2) -> rule7))] Fiona is round.[(((triple1) -> rule2) OR ((triple2) -> rule1) OR ((((triple2) -> rule6)) -> rule2))] Fiona is young.[(((triple2) -> rule4) OR ((((triple1 triple2) -> rule7)) -> rule8) OR ((((((triple2) -> rule6) triple2) -> rule7)) -> rule8))] Gary is green.[(((triple3) -> rule6))] Gary is round.[(((triple3) -> rule1) OR ((((triple3) -> rule6)) -> rule2))] @2: Gary is furry.[(((((triple3) -> rule6)) -> rule3))] Gary is quiet.[(((((triple3) -> rule6) triple3) -> rule7))] @3: Gary is young.[(((((((triple3) -> rule6) triple3) -> rule7)) -> rule8))]
Fiona is green.
("Fiona" "is" "green" "+")
triple1
((triple2) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple1 triple2) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple2) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((triple1) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple2) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((triple2) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple1 triple2) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((((triple2) -> (rule6 % int3)) triple2) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((triple3) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple3) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((((triple3) -> (rule6 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple3) -> (rule6 % int2)) triple3) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((((triple3) -> (rule6 % int3)) triple3) -> (rule7 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3