Dave is furry. Dave is red. Dave is white. Dave is young. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is white. Fiona is young. Gary is kind. Gary is quiet. If someone is quiet then they are furry. Furry, white people are kind. All furry, quiet people are nice. Quiet, nice people are kind. If someone is white then they are quiet. Kind people are white.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If someone is quiet then they are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Furry, white people are kind.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
All furry, quiet people are nice.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
Quiet, nice people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is white then they are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Kind people are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
Gary is kind.
True
1
proof
[(triple11 OR ((triple12 ((((triple12) -> rule1) triple12) -> rule3)) -> rule4))]
("Gary" "is" "kind" "+")
triple11
((triple12 ((((triple12) -> (rule1 % int3)) triple12) -> (rule3 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Fiona is not red.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "red" "-")
triple8
Fiona is kind.
True
3
proof
[(((triple5 triple9) -> rule2) OR ((triple7 triple6) -> rule4) OR ((triple7 ((triple5 triple7) -> rule3)) -> rule4) OR ((((triple7) -> rule1) triple9) -> rule2) OR ((((triple9) -> rule5) triple6) -> rule4) OR ((((triple9) -> rule5) ((triple5 triple7) -> rule3)) -> rule4) OR ((triple7 ((triple5 ((triple9) -> rule5)) -> rule3)) -> rule4) OR ((triple7 ((((triple7) -> rule1) triple7) -> rule3)) -> rule4) OR ((((((triple9) -> rule5)) -> rule1) triple9) -> rule2) OR ((triple7 ((((triple7) -> rule1) ((triple9) -> rule5)) -> rule3)) -> rule4) OR ((((triple9) -> rule5) ((triple5 ((triple9) -> rule5)) -> rule3)) -> rule4) OR ((((triple9) -> rule5) ((((triple7) -> rule1) triple7) -> rule3)) -> rule4) OR ((((triple9) -> rule5) ((((triple7) -> rule1) ((triple9) -> rule5)) -> rule3)) -> rule4) OR ((triple7 ((((((triple9) -> rule5)) -> rule1) triple7) -> rule3)) -> rule4) OR ((triple7 ((((((triple9) -> rule5)) -> rule1) ((triple9) -> rule5)) -> rule3)) -> rule4) OR ((((triple9) -> rule5) ((((((triple9) -> rule5)) -> rule1) triple7) -> rule3)) -> rule4) OR ((((triple9) -> rule5) ((((((triple9) -> rule5)) -> rule1) ((triple9) -> rule5)) -> rule3)) -> rule4))]
("Fiona" "is" "kind" "+")
((triple5 triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple7 triple6) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple7 ((triple5 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple7) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple9) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple9) -> (rule5 % int3)) ((triple5 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((triple7 ((triple5 ((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((triple7 ((((triple7) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple9) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((triple7 ((((triple7) -> (rule1 % int4)) ((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple9) -> (rule5 % int3)) ((triple5 ((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((triple9) -> (rule5 % int4)) ((((triple7) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple9) -> (rule5 % int4)) ((((triple7) -> (rule1 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((triple7 ((((((triple9) -> (rule5 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((triple7 ((((((triple9) -> (rule5 % int4))) -> (rule1 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple9) -> (rule5 % int4)) ((((((triple9) -> (rule5 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple9) -> (rule5 % int4)) ((((((triple9) -> (rule5 % int4))) -> (rule1 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is not kind.
False
3
inv-proof
[(((triple5 triple9) -> rule2) OR ((triple7 triple6) -> rule4) OR ((triple7 ((triple5 triple7) -> rule3)) -> rule4) OR ((((triple7) -> rule1) triple9) -> rule2) OR ((((triple9) -> rule5) triple6) -> rule4) OR ((((triple9) -> rule5) ((triple5 triple7) -> rule3)) -> rule4) OR ((triple7 ((triple5 ((triple9) -> rule5)) -> rule3)) -> rule4) OR ((triple7 ((((triple7) -> rule1) triple7) -> rule3)) -> rule4) OR ((((((triple9) -> rule5)) -> rule1) triple9) -> rule2) OR ((triple7 ((((triple7) -> rule1) ((triple9) -> rule5)) -> rule3)) -> rule4) OR ((((triple9) -> rule5) ((triple5 ((triple9) -> rule5)) -> rule3)) -> rule4) OR ((((triple9) -> rule5) ((((triple7) -> rule1) triple7) -> rule3)) -> rule4) OR ((((triple9) -> rule5) ((((triple7) -> rule1) ((triple9) -> rule5)) -> rule3)) -> rule4) OR ((triple7 ((((((triple9) -> rule5)) -> rule1) triple7) -> rule3)) -> rule4) OR ((triple7 ((((((triple9) -> rule5)) -> rule1) ((triple9) -> rule5)) -> rule3)) -> rule4) OR ((((triple9) -> rule5) ((((((triple9) -> rule5)) -> rule1) triple7) -> rule3)) -> rule4) OR ((((triple9) -> rule5) ((((((triple9) -> rule5)) -> rule1) ((triple9) -> rule5)) -> rule3)) -> rule4))]
("Fiona" "is" "kind" "-")
((triple5 triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple7 triple6) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple7 ((triple5 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple7) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple9) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple9) -> (rule5 % int3)) ((triple5 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((triple7 ((triple5 ((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((triple7 ((((triple7) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple9) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((triple7 ((((triple7) -> (rule1 % int4)) ((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple9) -> (rule5 % int3)) ((triple5 ((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((triple9) -> (rule5 % int4)) ((((triple7) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple9) -> (rule5 % int4)) ((((triple7) -> (rule1 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((triple7 ((((((triple9) -> (rule5 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((triple7 ((((((triple9) -> (rule5 % int4))) -> (rule1 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple9) -> (rule5 % int4)) ((((((triple9) -> (rule5 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple9) -> (rule5 % int4)) ((((((triple9) -> (rule5 % int4))) -> (rule1 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Dave is furry.[(triple1 OR ((((triple3) -> rule5)) -> rule1))] Dave is red.[(triple2)] Dave is white.[(triple3)] Dave is young.[(triple4)] Fiona is furry.[(triple5 OR ((triple7) -> rule1) OR ((((triple9) -> rule5)) -> rule1))] Fiona is nice.[(triple6 OR ((triple5 triple7) -> rule3) OR ((triple5 ((triple9) -> rule5)) -> rule3) OR ((((triple7) -> rule1) triple7) -> rule3) OR ((((triple7) -> rule1) ((triple9) -> rule5)) -> rule3) OR ((((((triple9) -> rule5)) -> rule1) triple7) -> rule3) OR ((((((triple9) -> rule5)) -> rule1) ((triple9) -> rule5)) -> rule3))] Fiona is quiet.[(triple7 OR ((triple9) -> rule5))] Fiona is red.[(triple8)] Fiona is white.[(triple9 OR ((((triple7 triple6) -> rule4)) -> rule6) OR ((((triple7 ((triple5 triple7) -> rule3)) -> rule4)) -> rule6) OR ((((triple7 ((((triple7) -> rule1) triple7) -> rule3)) -> rule4)) -> rule6))] Fiona is young.[(triple10)] Gary is kind.[(triple11 OR ((triple12 ((((triple12) -> rule1) triple12) -> rule3)) -> rule4))] Gary is quiet.[(triple12 OR ((((triple11) -> rule6)) -> rule5))] @1: Dave is kind.[(((triple1 triple3) -> rule2) OR ((((((triple3) -> rule5)) -> rule1) triple3) -> rule2) OR ((((triple3) -> rule5) ((triple1 ((triple3) -> rule5)) -> rule3)) -> rule4) OR ((((triple3) -> rule5) ((((((triple3) -> rule5)) -> rule1) ((triple3) -> rule5)) -> rule3)) -> rule4))] Dave is quiet.[(((triple3) -> rule5))] Fiona is kind.[(((triple5 triple9) -> rule2) OR ((triple7 triple6) -> rule4) OR ((triple7 ((triple5 triple7) -> rule3)) -> rule4) OR ((((triple7) -> rule1) triple9) -> rule2) OR ((((triple9) -> rule5) triple6) -> rule4) OR ((((triple9) -> rule5) ((triple5 triple7) -> rule3)) -> rule4) OR ((triple7 ((triple5 ((triple9) -> rule5)) -> rule3)) -> rule4) OR ((triple7 ((((triple7) -> rule1) triple7) -> rule3)) -> rule4) OR ((((((triple9) -> rule5)) -> rule1) triple9) -> rule2) OR ((triple7 ((((triple7) -> rule1) ((triple9) -> rule5)) -> rule3)) -> rule4) OR ((((triple9) -> rule5) ((triple5 ((triple9) -> rule5)) -> rule3)) -> rule4) OR ((((triple9) -> rule5) ((((triple7) -> rule1) triple7) -> rule3)) -> rule4) OR ((((triple9) -> rule5) ((((triple7) -> rule1) ((triple9) -> rule5)) -> rule3)) -> rule4) OR ((triple7 ((((((triple9) -> rule5)) -> rule1) triple7) -> rule3)) -> rule4) OR ((triple7 ((((((triple9) -> rule5)) -> rule1) ((triple9) -> rule5)) -> rule3)) -> rule4) OR ((((triple9) -> rule5) ((((((triple9) -> rule5)) -> rule1) triple7) -> rule3)) -> rule4) OR ((((triple9) -> rule5) ((((((triple9) -> rule5)) -> rule1) ((triple9) -> rule5)) -> rule3)) -> rule4))] Gary is furry.[(((triple12) -> rule1) OR ((((((triple11) -> rule6)) -> rule5)) -> rule1))] Gary is white.[(((triple11) -> rule6) OR ((((triple12 ((((triple12) -> rule1) triple12) -> rule3)) -> rule4)) -> rule6))] @2: Dave is nice.[(((triple1 ((triple3) -> rule5)) -> rule3) OR ((((((triple3) -> rule5)) -> rule1) ((triple3) -> rule5)) -> rule3))] Gary is nice.[(((((triple12) -> rule1) triple12) -> rule3) OR ((((triple12) -> rule1) ((((triple11) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple11) -> rule6)) -> rule5)) -> rule1) triple12) -> rule3) OR ((((((((triple11) -> rule6)) -> rule5)) -> rule1) ((((triple11) -> rule6)) -> rule5)) -> rule3))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
((triple7) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple9) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
((triple5 triple7) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple5 ((triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple7) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple9) -> (rule5 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((triple9) -> (rule5 % int3))) -> (rule1 % int2)) ((triple9) -> (rule5 % int3))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
((triple9) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
((((triple7 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple7 ((triple5 triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple7 ((((triple7) -> (rule1 % int4)) triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
((triple12 ((((triple12) -> (rule1 % int3)) triple12) -> (rule3 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((triple1 triple3) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((((triple3) -> (rule5 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple3) -> (rule5 % int3)) ((triple1 ((triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple3) -> (rule5 % int4)) ((((((triple3) -> (rule5 % int4))) -> (rule1 % int3)) ((triple3) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple3) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple5 triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple7 triple6) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple7 ((triple5 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple7) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple9) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple9) -> (rule5 % int3)) ((triple5 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((triple7 ((triple5 ((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((triple7 ((((triple7) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple9) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((triple7 ((((triple7) -> (rule1 % int4)) ((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple9) -> (rule5 % int3)) ((triple5 ((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((triple9) -> (rule5 % int4)) ((((triple7) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple9) -> (rule5 % int4)) ((((triple7) -> (rule1 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((triple7 ((((((triple9) -> (rule5 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((triple7 ((((((triple9) -> (rule5 % int4))) -> (rule1 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple9) -> (rule5 % int4)) ((((((triple9) -> (rule5 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple9) -> (rule5 % int4)) ((((((triple9) -> (rule5 % int4))) -> (rule1 % int3)) ((triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
((triple12) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((((triple11) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
((triple11) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple12 ((((triple12) -> (rule1 % int4)) triple12) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
((triple1 ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((triple3) -> (rule5 % int3))) -> (rule1 % int2)) ((triple3) -> (rule5 % int3))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((((triple12) -> (rule1 % int2)) triple12) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple12) -> (rule1 % int4)) ((((triple11) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple11) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple12) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((((triple11) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple11) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4