Charlie is big. Charlie is smart. Charlie is young. Fiona is big. Fiona is furry. Fiona is green. Fiona is nice. Fiona is young. Gary is big. Gary is green. Gary is nice. Gary is quiet. If something is furry then it is young. If something is green and big then it is smart. Big things are green. If Gary is smart and Gary is big then Gary is furry. Big, nice things are smart. If something is furry and smart then it is young.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If something is furry then it is young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If something is green and big then it is smart.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
Big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If Gary is smart and Gary is big then Gary is furry.
((("Gary" "is" "smart" "+") ("Gary" "is" "big" "+")) -> ("Gary" "is" "furry" "+"))
Big, nice things are smart.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
If something is furry and smart then it is young.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Charlie is young.
True
1
proof
[(triple3)]
("Charlie" "is" "young" "+")
triple3
Charlie is not big.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "big" "-")
triple1
Gary is smart.
True
3
proof
[(((triple10 triple9) -> rule2) OR ((triple9 triple11) -> rule5) OR ((((triple9) -> rule3) triple9) -> rule2))]
("Gary" "is" "smart" "+")
((triple10 triple9) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple9 triple11) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple9) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not smart.
False
3
inv-proof
[(((triple10 triple9) -> rule2) OR ((triple9 triple11) -> rule5) OR ((((triple9) -> rule3) triple9) -> rule2))]
("Gary" "is" "smart" "-")
((triple10 triple9) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple9 triple11) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple9) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
True
5
proof
[(((((triple10 triple9) -> rule2) triple9) -> rule4) OR ((((triple9 triple11) -> rule5) triple9) -> rule4) OR ((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4))]
("Gary" "is" "furry" "+")
((((triple10 triple9) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple9 triple11) -> (rule5 % int2)) triple9) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((((triple9) -> (rule3 % int3)) triple9) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not furry.
False
5
inv-proof
[(((((triple10 triple9) -> rule2) triple9) -> rule4) OR ((((triple9 triple11) -> rule5) triple9) -> rule4) OR ((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4))]
("Gary" "is" "furry" "-")
((((triple10 triple9) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple9 triple11) -> (rule5 % int2)) triple9) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((((triple9) -> (rule3 % int3)) triple9) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
True
6
proof
[(((((((triple10 triple9) -> rule2) triple9) -> rule4)) -> rule1) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4)) -> rule1) OR ((((((triple10 triple9) -> rule2) triple9) -> rule4) ((triple10 triple9) -> rule2)) -> rule6) OR ((((((triple10 triple9) -> rule2) triple9) -> rule4) ((triple9 triple11) -> rule5)) -> rule6) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4) ((triple10 triple9) -> rule2)) -> rule6) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4) ((triple9 triple11) -> rule5)) -> rule6) OR ((((((triple10 triple9) -> rule2) triple9) -> rule4) ((((triple9) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4) ((((triple9) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4)) -> rule1) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4) ((triple10 triple9) -> rule2)) -> rule6) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4) ((triple9 triple11) -> rule5)) -> rule6) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4) ((((triple9) -> rule3) triple9) -> rule2)) -> rule6))]
("Gary" "is" "young" "+")
((((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple9 triple11) -> (rule5 % int3)) triple9) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((triple10 triple9) -> (rule2 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((triple9 triple11) -> (rule5 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple9 triple11) -> (rule5 % int3)) triple9) -> (rule4 % int2)) ((triple10 triple9) -> (rule2 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple9 triple11) -> (rule5 % int3)) triple9) -> (rule4 % int2)) ((triple9 triple11) -> (rule5 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple10 triple9) -> (rule2 % int4)) triple9) -> (rule4 % int3)) ((((triple9) -> (rule3 % int2)) triple9) -> (rule2 % int4))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((triple9 triple11) -> (rule5 % int4)) triple9) -> (rule4 % int3)) ((((triple9) -> (rule3 % int2)) triple9) -> (rule2 % int4))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((triple9) -> (rule3 % int4)) triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple9) -> (rule3 % int4)) triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((triple10 triple9) -> (rule2 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple9) -> (rule3 % int4)) triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((triple9 triple11) -> (rule5 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple9) -> (rule3 % int4)) triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((((triple9) -> (rule3 % int4)) triple9) -> (rule2 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is not young.
False
6
inv-proof
[(((((((triple10 triple9) -> rule2) triple9) -> rule4)) -> rule1) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4)) -> rule1) OR ((((((triple10 triple9) -> rule2) triple9) -> rule4) ((triple10 triple9) -> rule2)) -> rule6) OR ((((((triple10 triple9) -> rule2) triple9) -> rule4) ((triple9 triple11) -> rule5)) -> rule6) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4) ((triple10 triple9) -> rule2)) -> rule6) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4) ((triple9 triple11) -> rule5)) -> rule6) OR ((((((triple10 triple9) -> rule2) triple9) -> rule4) ((((triple9) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4) ((((triple9) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4)) -> rule1) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4) ((triple10 triple9) -> rule2)) -> rule6) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4) ((triple9 triple11) -> rule5)) -> rule6) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4) ((((triple9) -> rule3) triple9) -> rule2)) -> rule6))]
("Gary" "is" "young" "-")
((((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple9 triple11) -> (rule5 % int3)) triple9) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((triple10 triple9) -> (rule2 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((triple9 triple11) -> (rule5 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple9 triple11) -> (rule5 % int3)) triple9) -> (rule4 % int2)) ((triple10 triple9) -> (rule2 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple9 triple11) -> (rule5 % int3)) triple9) -> (rule4 % int2)) ((triple9 triple11) -> (rule5 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple10 triple9) -> (rule2 % int4)) triple9) -> (rule4 % int3)) ((((triple9) -> (rule3 % int2)) triple9) -> (rule2 % int4))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((triple9 triple11) -> (rule5 % int4)) triple9) -> (rule4 % int3)) ((((triple9) -> (rule3 % int2)) triple9) -> (rule2 % int4))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((triple9) -> (rule3 % int4)) triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple9) -> (rule3 % int4)) triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((triple10 triple9) -> (rule2 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple9) -> (rule3 % int4)) triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((triple9 triple11) -> (rule5 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple9) -> (rule3 % int4)) triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((((triple9) -> (rule3 % int4)) triple9) -> (rule2 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Charlie is big.[(triple1)] Charlie is smart.[(triple2 OR ((((triple1) -> rule3) triple1) -> rule2))] Charlie is young.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6 OR ((triple4) -> rule3))] Fiona is nice.[(triple7)] Fiona is young.[(triple8 OR ((triple5) -> rule1) OR ((triple5 ((triple4 triple7) -> rule5)) -> rule6) OR ((triple5 ((triple6 triple4) -> rule2)) -> rule6) OR ((triple5 ((((triple4) -> rule3) triple4) -> rule2)) -> rule6))] Gary is big.[(triple9)] Gary is green.[(triple10 OR ((triple9) -> rule3))] Gary is nice.[(triple11)] Gary is quiet.[(triple12)] @1: Charlie is green.[(((triple1) -> rule3))] Fiona is smart.[(((triple4 triple7) -> rule5) OR ((triple6 triple4) -> rule2) OR ((((triple4) -> rule3) triple4) -> rule2))] Gary is smart.[(((triple10 triple9) -> rule2) OR ((triple9 triple11) -> rule5) OR ((((triple9) -> rule3) triple9) -> rule2))] @2: Gary is furry.[(((((triple10 triple9) -> rule2) triple9) -> rule4) OR ((((triple9 triple11) -> rule5) triple9) -> rule4) OR ((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4))] @3: Gary is young.[(((((((triple10 triple9) -> rule2) triple9) -> rule4)) -> rule1) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4)) -> rule1) OR ((((((triple10 triple9) -> rule2) triple9) -> rule4) ((triple10 triple9) -> rule2)) -> rule6) OR ((((((triple10 triple9) -> rule2) triple9) -> rule4) ((triple9 triple11) -> rule5)) -> rule6) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4) ((triple10 triple9) -> rule2)) -> rule6) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4) ((triple9 triple11) -> rule5)) -> rule6) OR ((((((triple10 triple9) -> rule2) triple9) -> rule4) ((((triple9) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((triple9 triple11) -> rule5) triple9) -> rule4) ((((triple9) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4)) -> rule1) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4) ((triple10 triple9) -> rule2)) -> rule6) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4) ((triple9 triple11) -> rule5)) -> rule6) OR ((((((((triple9) -> rule3) triple9) -> rule2) triple9) -> rule4) ((((triple9) -> rule3) triple9) -> rule2)) -> rule6))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
((triple4) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
((triple5) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple5 ((triple4 triple7) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((triple5 ((triple6 triple4) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((triple5 ((((triple4) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
((triple9) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
Charlie is green.
("Charlie" "is" "green" "+")
((triple1) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple4 triple7) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple6 triple4) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple4) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
((triple10 triple9) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple9 triple11) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple9) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((((triple10 triple9) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple9 triple11) -> (rule5 % int2)) triple9) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((((triple9) -> (rule3 % int3)) triple9) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple9 triple11) -> (rule5 % int3)) triple9) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((triple10 triple9) -> (rule2 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((triple9 triple11) -> (rule5 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple9 triple11) -> (rule5 % int3)) triple9) -> (rule4 % int2)) ((triple10 triple9) -> (rule2 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple9 triple11) -> (rule5 % int3)) triple9) -> (rule4 % int2)) ((triple9 triple11) -> (rule5 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple10 triple9) -> (rule2 % int4)) triple9) -> (rule4 % int3)) ((((triple9) -> (rule3 % int2)) triple9) -> (rule2 % int4))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((triple9 triple11) -> (rule5 % int4)) triple9) -> (rule4 % int3)) ((((triple9) -> (rule3 % int2)) triple9) -> (rule2 % int4))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((triple9) -> (rule3 % int4)) triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple9) -> (rule3 % int4)) triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((triple10 triple9) -> (rule2 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple9) -> (rule3 % int4)) triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((triple9 triple11) -> (rule5 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple9) -> (rule3 % int4)) triple9) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((((triple9) -> (rule3 % int4)) triple9) -> (rule2 % int3))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4