Charlie is kind. Charlie is rough. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is rough. All green, kind people are rough. If Charlie is quiet and Charlie is kind then Charlie is blue. If someone is furry and rough then they are nice. If someone is rough then they are quiet. All quiet, rough people are furry. All quiet, nice people are rough. All furry people are green. Kind, rough people are quiet.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All green, kind people are rough.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If Charlie is quiet and Charlie is kind then Charlie is blue.
((("Charlie" "is" "quiet" "+") ("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "blue" "+"))
If someone is furry and rough then they are nice.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
All quiet, rough people are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
All quiet, nice people are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Kind, rough people are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is blue.
True
1
proof
[(triple10)]
("Fiona" "is" "blue" "+")
triple10
Dave is not nice.
False
1
inv-proof
[(triple7 OR ((triple4 triple9) -> rule3) OR ((triple4 ((triple5 triple6) -> rule1)) -> rule3) OR ((((triple8 triple9) -> rule5) triple9) -> rule3) OR ((((triple8 triple9) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((triple4 ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((triple8 ((triple5 triple6) -> rule1)) -> rule5) triple9) -> rule3) OR ((((((triple9) -> rule4) triple9) -> rule5) triple9) -> rule3) OR ((((((triple6 triple9) -> rule8) triple9) -> rule5) triple9) -> rule3) OR ((((triple8 triple9) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((triple8 ((triple5 triple6) -> rule1)) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4) triple9) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) triple9) -> rule3) OR ((((((triple6 triple9) -> rule8) triple9) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple6 triple9) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) triple9) -> rule3) OR ((((triple8 ((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4) triple9) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple6 triple9) -> rule8) triple9) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple6 triple9) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple6 triple9) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) triple9) -> rule5) triple9) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) triple9) -> rule5) triple9) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) triple9) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) triple9) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) triple9) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) triple9) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) triple9) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) triple9) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3))]
("Dave" "is" "nice" "-")
triple7
((triple4 triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple4 ((triple5 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple8 triple9) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple8 triple9) -> (rule5 % int3)) ((triple5 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple4 ((((triple4) -> (rule7 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple8 ((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple9) -> (rule4 % int3)) triple9) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple6 triple9) -> (rule8 % int3)) triple9) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple8 triple9) -> (rule5 % int4)) ((((triple4) -> (rule7 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple8 ((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5 triple6) -> (rule1 % int3))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple9) -> (rule4 % int4)) triple9) -> (rule5 % int3)) ((triple5 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple9) -> (rule4 % int4)) ((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple6 triple9) -> (rule8 % int4)) triple9) -> (rule5 % int3)) ((triple5 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple6 triple9) -> (rule8 % int4)) ((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((triple8 ((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2)) triple6) -> (rule1 % int4))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple9) -> (rule4 % int5)) triple9) -> (rule5 % int4)) ((((triple4) -> (rule7 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple9) -> (rule4 % int4)) ((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5 triple6) -> (rule1 % int3))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple6 triple9) -> (rule8 % int5)) triple9) -> (rule5 % int4)) ((((triple4) -> (rule7 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple6 triple9) -> (rule8 % int4)) ((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5 triple6) -> (rule1 % int3))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple9) -> (rule4 % int5)) ((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2)) triple6) -> (rule1 % int4))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple6 triple9) -> (rule8 % int5)) ((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2)) triple6) -> (rule1 % int4))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple5 triple6) -> (rule1 % int4))) -> (rule4 % int3)) triple9) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple6 ((triple5 triple6) -> (rule1 % int4))) -> (rule8 % int3)) triple9) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple5 triple6) -> (rule1 % int4))) -> (rule4 % int3)) triple9) -> (rule5 % int2)) ((triple5 triple6) -> (rule1 % int4))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple5 triple6) -> (rule1 % int4))) -> (rule4 % int3)) ((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple6 ((triple5 triple6) -> (rule1 % int4))) -> (rule8 % int3)) triple9) -> (rule5 % int2)) ((triple5 triple6) -> (rule1 % int4))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple6 ((triple5 triple6) -> (rule1 % int4))) -> (rule8 % int3)) ((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple5 triple6) -> (rule1 % int5))) -> (rule4 % int4)) triple9) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2)) triple6) -> (rule1 % int5))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((triple5 triple6) -> (rule1 % int4))) -> (rule4 % int3)) ((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int2)) ((triple5 triple6) -> (rule1 % int4))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple6 ((triple5 triple6) -> (rule1 % int5))) -> (rule8 % int4)) triple9) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2)) triple6) -> (rule1 % int5))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((triple6 ((triple5 triple6) -> (rule1 % int4))) -> (rule8 % int3)) ((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int2)) ((triple5 triple6) -> (rule1 % int4))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple5 triple6) -> (rule1 % int5))) -> (rule4 % int4)) ((triple5 triple6) -> (rule1 % int5))) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2)) triple6) -> (rule1 % int5))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((triple6 ((triple5 triple6) -> (rule1 % int5))) -> (rule8 % int4)) ((triple5 triple6) -> (rule1 % int5))) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2)) triple6) -> (rule1 % int5))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Charlie is quiet.
True
2
proof
[(((triple2) -> rule4) OR ((triple1 triple2) -> rule8))]
("Charlie" "is" "quiet" "+")
((triple2) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple1 triple2) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not quiet.
False
2
inv-proof
[(((triple2) -> rule4) OR ((triple1 triple2) -> rule8))]
("Charlie" "is" "quiet" "-")
((triple2) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple1 triple2) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
True
4
proof
[(((((triple2) -> rule4) triple1) -> rule2) OR ((((triple1 triple2) -> rule8) triple1) -> rule2))]
("Charlie" "is" "blue" "+")
((((triple2) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple1 triple2) -> (rule8 % int2)) triple1) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is not furry.
False
4
inv-proof
[(((((triple2) -> rule4) triple2) -> rule5) OR ((((triple1 triple2) -> rule8) triple2) -> rule5))]
("Charlie" "is" "furry" "-")
((((triple2) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple1 triple2) -> (rule8 % int2)) triple2) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is nice.
True
6
proof
[(((((((triple2) -> rule4) triple2) -> rule5) triple2) -> rule3) OR ((((((triple1 triple2) -> rule8) triple2) -> rule5) triple2) -> rule3))]
("Charlie" "is" "nice" "+")
((((((triple2) -> (rule4 % int3)) triple2) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple1 triple2) -> (rule8 % int3)) triple2) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is not green.
False
5
inv-proof
[(((((((triple2) -> rule4) triple2) -> rule5)) -> rule7) OR ((((((triple1 triple2) -> rule8) triple2) -> rule5)) -> rule7))]
("Charlie" "is" "green" "-")
((((((triple2) -> (rule4 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple1 triple2) -> (rule8 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
@0: Charlie is kind.[(triple1)] Charlie is rough.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple4 OR ((triple8 triple9) -> rule5) OR ((triple8 ((triple5 triple6) -> rule1)) -> rule5) OR ((triple8 ((triple8 triple7) -> rule6)) -> rule5) OR ((((triple9) -> rule4) triple9) -> rule5) OR ((((triple6 triple9) -> rule8) triple9) -> rule5) OR ((((triple9) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) OR ((((triple9) -> rule4) ((triple8 triple7) -> rule6)) -> rule5) OR ((((triple6 triple9) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) OR ((((triple6 triple9) -> rule8) ((triple8 triple7) -> rule6)) -> rule5) OR ((((((triple5 triple6) -> rule1)) -> rule4) triple9) -> rule5) OR ((((triple6 ((triple5 triple6) -> rule1)) -> rule8) triple9) -> rule5) OR ((((((triple5 triple6) -> rule1)) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) OR ((((((triple5 triple6) -> rule1)) -> rule4) ((triple8 triple7) -> rule6)) -> rule5) OR ((((triple6 ((triple5 triple6) -> rule1)) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) OR ((((triple6 ((triple5 triple6) -> rule1)) -> rule8) ((triple8 triple7) -> rule6)) -> rule5))] Dave is green.[(triple5 OR ((triple4) -> rule7) OR ((((triple8 triple9) -> rule5)) -> rule7) OR ((((triple8 ((triple8 triple7) -> rule6)) -> rule5)) -> rule7) OR ((((((triple9) -> rule4) triple9) -> rule5)) -> rule7) OR ((((((triple6 triple9) -> rule8) triple9) -> rule5)) -> rule7) OR ((((((triple9) -> rule4) ((triple8 triple7) -> rule6)) -> rule5)) -> rule7) OR ((((((triple6 triple9) -> rule8) ((triple8 triple7) -> rule6)) -> rule5)) -> rule7))] Dave is kind.[(triple6)] Dave is nice.[(triple7 OR ((triple4 triple9) -> rule3) OR ((triple4 ((triple5 triple6) -> rule1)) -> rule3) OR ((((triple8 triple9) -> rule5) triple9) -> rule3) OR ((((triple8 triple9) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((triple4 ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((triple8 ((triple5 triple6) -> rule1)) -> rule5) triple9) -> rule3) OR ((((((triple9) -> rule4) triple9) -> rule5) triple9) -> rule3) OR ((((((triple6 triple9) -> rule8) triple9) -> rule5) triple9) -> rule3) OR ((((triple8 triple9) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((triple8 ((triple5 triple6) -> rule1)) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4) triple9) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) triple9) -> rule3) OR ((((((triple6 triple9) -> rule8) triple9) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple6 triple9) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) triple9) -> rule3) OR ((((triple8 ((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4) triple9) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple6 triple9) -> rule8) triple9) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple6 triple9) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple9) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple6 triple9) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) triple9) -> rule5) triple9) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) triple9) -> rule5) triple9) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) triple9) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) triple9) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) triple9) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) triple9) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) triple9) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) triple9) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) ((triple5 triple6) -> rule1)) -> rule3) OR ((((((((triple5 triple6) -> rule1)) -> rule4) ((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3) OR ((((((triple6 ((triple5 triple6) -> rule1)) -> rule8) ((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule7) triple6) -> rule1)) -> rule3))] Dave is quiet.[(triple8 OR ((triple9) -> rule4) OR ((triple6 triple9) -> rule8) OR ((((triple5 triple6) -> rule1)) -> rule4) OR ((triple6 ((triple5 triple6) -> rule1)) -> rule8) OR ((((((triple4) -> rule7) triple6) -> rule1)) -> rule4) OR ((triple6 ((((triple4) -> rule7) triple6) -> rule1)) -> rule8))] Dave is rough.[(triple9 OR ((triple5 triple6) -> rule1) OR ((triple8 triple7) -> rule6) OR ((((triple4) -> rule7) triple6) -> rule1))] Fiona is blue.[(triple10)] Fiona is furry.[(triple11 OR ((triple15 triple16) -> rule5) OR ((triple15 ((triple12 triple13) -> rule1)) -> rule5) OR ((triple15 ((triple15 triple14) -> rule6)) -> rule5) OR ((((triple16) -> rule4) triple16) -> rule5) OR ((((triple13 triple16) -> rule8) triple16) -> rule5) OR ((((triple16) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) OR ((((triple16) -> rule4) ((triple15 triple14) -> rule6)) -> rule5) OR ((((triple13 triple16) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) OR ((((triple13 triple16) -> rule8) ((triple15 triple14) -> rule6)) -> rule5) OR ((((((triple12 triple13) -> rule1)) -> rule4) triple16) -> rule5) OR ((((triple13 ((triple12 triple13) -> rule1)) -> rule8) triple16) -> rule5) OR ((((((triple12 triple13) -> rule1)) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) OR ((((((triple12 triple13) -> rule1)) -> rule4) ((triple15 triple14) -> rule6)) -> rule5) OR ((((triple13 ((triple12 triple13) -> rule1)) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) OR ((((triple13 ((triple12 triple13) -> rule1)) -> rule8) ((triple15 triple14) -> rule6)) -> rule5))] Fiona is green.[(triple12 OR ((triple11) -> rule7) OR ((((triple15 triple16) -> rule5)) -> rule7) OR ((((triple15 ((triple15 triple14) -> rule6)) -> rule5)) -> rule7) OR ((((((triple16) -> rule4) triple16) -> rule5)) -> rule7) OR ((((((triple13 triple16) -> rule8) triple16) -> rule5)) -> rule7) OR ((((((triple16) -> rule4) ((triple15 triple14) -> rule6)) -> rule5)) -> rule7) OR ((((((triple13 triple16) -> rule8) ((triple15 triple14) -> rule6)) -> rule5)) -> rule7))] Fiona is kind.[(triple13)] Fiona is nice.[(triple14 OR ((triple11 triple16) -> rule3) OR ((triple11 ((triple12 triple13) -> rule1)) -> rule3) OR ((((triple15 triple16) -> rule5) triple16) -> rule3) OR ((((triple15 triple16) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((triple11 ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((triple15 ((triple12 triple13) -> rule1)) -> rule5) triple16) -> rule3) OR ((((((triple16) -> rule4) triple16) -> rule5) triple16) -> rule3) OR ((((((triple13 triple16) -> rule8) triple16) -> rule5) triple16) -> rule3) OR ((((triple15 triple16) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((triple15 ((triple12 triple13) -> rule1)) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((triple16) -> rule4) triple16) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((triple16) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) triple16) -> rule3) OR ((((((triple13 triple16) -> rule8) triple16) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((triple13 triple16) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) triple16) -> rule3) OR ((((triple15 ((triple12 triple13) -> rule1)) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((triple16) -> rule4) triple16) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((triple16) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((triple13 triple16) -> rule8) triple16) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((triple13 triple16) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((triple16) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((triple13 triple16) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((((triple12 triple13) -> rule1)) -> rule4) triple16) -> rule5) triple16) -> rule3) OR ((((((triple13 ((triple12 triple13) -> rule1)) -> rule8) triple16) -> rule5) triple16) -> rule3) OR ((((((((triple12 triple13) -> rule1)) -> rule4) triple16) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((((triple12 triple13) -> rule1)) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) triple16) -> rule3) OR ((((((triple13 ((triple12 triple13) -> rule1)) -> rule8) triple16) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((triple13 ((triple12 triple13) -> rule1)) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) triple16) -> rule3) OR ((((((((triple12 triple13) -> rule1)) -> rule4) triple16) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((((triple12 triple13) -> rule1)) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((triple13 ((triple12 triple13) -> rule1)) -> rule8) triple16) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((triple13 ((triple12 triple13) -> rule1)) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) ((triple12 triple13) -> rule1)) -> rule3) OR ((((((((triple12 triple13) -> rule1)) -> rule4) ((triple12 triple13) -> rule1)) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3) OR ((((((triple13 ((triple12 triple13) -> rule1)) -> rule8) ((triple12 triple13) -> rule1)) -> rule5) ((((triple11) -> rule7) triple13) -> rule1)) -> rule3))] Fiona is quiet.[(triple15 OR ((triple16) -> rule4) OR ((triple13 triple16) -> rule8) OR ((((triple12 triple13) -> rule1)) -> rule4) OR ((triple13 ((triple12 triple13) -> rule1)) -> rule8) OR ((((((triple11) -> rule7) triple13) -> rule1)) -> rule4) OR ((triple13 ((((triple11) -> rule7) triple13) -> rule1)) -> rule8))] Fiona is rough.[(triple16 OR ((triple12 triple13) -> rule1) OR ((triple15 triple14) -> rule6) OR ((((triple11) -> rule7) triple13) -> rule1))] @1: Charlie is quiet.[(((triple2) -> rule4) OR ((triple1 triple2) -> rule8))] @2: Charlie is blue.[(((((triple2) -> rule4) triple1) -> rule2) OR ((((triple1 triple2) -> rule8) triple1) -> rule2))] Charlie is furry.[(((((triple2) -> rule4) triple2) -> rule5) OR ((((triple1 triple2) -> rule8) triple2) -> rule5))] @3: Charlie is green.[(((((((triple2) -> rule4) triple2) -> rule5)) -> rule7) OR ((((((triple1 triple2) -> rule8) triple2) -> rule5)) -> rule7))] Charlie is nice.[(((((((triple2) -> rule4) triple2) -> rule5) triple2) -> rule3) OR ((((((triple1 triple2) -> rule8) triple2) -> rule5) triple2) -> rule3))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
((triple8 triple9) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple8 ((triple5 triple6) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((triple8 ((triple8 triple7) -> (rule6 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple9) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple6 triple9) -> (rule8 % int2)) triple9) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple9) -> (rule4 % int3)) ((triple5 triple6) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple9) -> (rule4 % int3)) ((triple8 triple7) -> (rule6 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple6 triple9) -> (rule8 % int3)) ((triple5 triple6) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple6 triple9) -> (rule8 % int3)) ((triple8 triple7) -> (rule6 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple5 triple6) -> (rule1 % int3))) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple6 ((triple5 triple6) -> (rule1 % int3))) -> (rule8 % int2)) triple9) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple5 triple6) -> (rule1 % int3))) -> (rule4 % int2)) ((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple5 triple6) -> (rule1 % int3))) -> (rule4 % int2)) ((triple8 triple7) -> (rule6 % int3))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple6 ((triple5 triple6) -> (rule1 % int3))) -> (rule8 % int2)) ((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple6 ((triple5 triple6) -> (rule1 % int3))) -> (rule8 % int2)) ((triple8 triple7) -> (rule6 % int3))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
triple5
((triple4) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple8 triple9) -> (rule5 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple8 ((triple8 triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple9) -> (rule4 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple6 triple9) -> (rule8 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple9) -> (rule4 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple6 triple9) -> (rule8 % int4)) ((triple8 triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple7
((triple4 triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple4 ((triple5 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple8 triple9) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple8 triple9) -> (rule5 % int3)) ((triple5 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple4 ((((triple4) -> (rule7 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple8 ((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple9) -> (rule4 % int3)) triple9) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple6 triple9) -> (rule8 % int3)) triple9) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple8 triple9) -> (rule5 % int4)) ((((triple4) -> (rule7 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple8 ((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5 triple6) -> (rule1 % int3))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple9) -> (rule4 % int4)) triple9) -> (rule5 % int3)) ((triple5 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple9) -> (rule4 % int4)) ((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple6 triple9) -> (rule8 % int4)) triple9) -> (rule5 % int3)) ((triple5 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple6 triple9) -> (rule8 % int4)) ((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((triple8 ((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2)) triple6) -> (rule1 % int4))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple9) -> (rule4 % int5)) triple9) -> (rule5 % int4)) ((((triple4) -> (rule7 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple9) -> (rule4 % int4)) ((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5 triple6) -> (rule1 % int3))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple6 triple9) -> (rule8 % int5)) triple9) -> (rule5 % int4)) ((((triple4) -> (rule7 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple6 triple9) -> (rule8 % int4)) ((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5 triple6) -> (rule1 % int3))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple9) -> (rule4 % int5)) ((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2)) triple6) -> (rule1 % int4))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple6 triple9) -> (rule8 % int5)) ((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2)) triple6) -> (rule1 % int4))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple5 triple6) -> (rule1 % int4))) -> (rule4 % int3)) triple9) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple6 ((triple5 triple6) -> (rule1 % int4))) -> (rule8 % int3)) triple9) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple5 triple6) -> (rule1 % int4))) -> (rule4 % int3)) triple9) -> (rule5 % int2)) ((triple5 triple6) -> (rule1 % int4))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple5 triple6) -> (rule1 % int4))) -> (rule4 % int3)) ((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple6 ((triple5 triple6) -> (rule1 % int4))) -> (rule8 % int3)) triple9) -> (rule5 % int2)) ((triple5 triple6) -> (rule1 % int4))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple6 ((triple5 triple6) -> (rule1 % int4))) -> (rule8 % int3)) ((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple5 triple6) -> (rule1 % int5))) -> (rule4 % int4)) triple9) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2)) triple6) -> (rule1 % int5))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((triple5 triple6) -> (rule1 % int4))) -> (rule4 % int3)) ((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int2)) ((triple5 triple6) -> (rule1 % int4))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple6 ((triple5 triple6) -> (rule1 % int5))) -> (rule8 % int4)) triple9) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2)) triple6) -> (rule1 % int5))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((triple6 ((triple5 triple6) -> (rule1 % int4))) -> (rule8 % int3)) ((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int2)) ((triple5 triple6) -> (rule1 % int4))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple5 triple6) -> (rule1 % int5))) -> (rule4 % int4)) ((triple5 triple6) -> (rule1 % int5))) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2)) triple6) -> (rule1 % int5))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((triple6 ((triple5 triple6) -> (rule1 % int5))) -> (rule8 % int4)) ((triple5 triple6) -> (rule1 % int5))) -> (rule5 % int3)) ((((triple4) -> (rule7 % int2)) triple6) -> (rule1 % int5))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple8
((triple9) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple6 triple9) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple5 triple6) -> (rule1 % int2))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((triple6 ((triple5 triple6) -> (rule1 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((((triple4) -> (rule7 % int3)) triple6) -> (rule1 % int2))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple6 ((((triple4) -> (rule7 % int3)) triple6) -> (rule1 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
triple9
((triple5 triple6) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple8 triple7) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple4) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
((triple15 triple16) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple15 ((triple12 triple13) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple15 ((triple15 triple14) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple16) -> (rule4 % int2)) triple16) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple13 triple16) -> (rule8 % int2)) triple16) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple16) -> (rule4 % int3)) ((triple12 triple13) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((triple16) -> (rule4 % int3)) ((triple15 triple14) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((triple13 triple16) -> (rule8 % int3)) ((triple12 triple13) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((triple13 triple16) -> (rule8 % int3)) ((triple15 triple14) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((triple12 triple13) -> (rule1 % int3))) -> (rule4 % int2)) triple16) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple13 ((triple12 triple13) -> (rule1 % int3))) -> (rule8 % int2)) triple16) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple12 triple13) -> (rule1 % int3))) -> (rule4 % int2)) ((triple12 triple13) -> (rule1 % int3))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple12 triple13) -> (rule1 % int3))) -> (rule4 % int2)) ((triple15 triple14) -> (rule6 % int3))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple13 ((triple12 triple13) -> (rule1 % int3))) -> (rule8 % int2)) ((triple12 triple13) -> (rule1 % int3))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple13 ((triple12 triple13) -> (rule1 % int3))) -> (rule8 % int2)) ((triple15 triple14) -> (rule6 % int3))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
triple12
((triple11) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple15 triple16) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple15 ((triple15 triple14) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple16) -> (rule4 % int3)) triple16) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((triple13 triple16) -> (rule8 % int3)) triple16) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((triple16) -> (rule4 % int4)) ((triple15 triple14) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple13 triple16) -> (rule8 % int4)) ((triple15 triple14) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
((triple11 triple16) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple11 ((triple12 triple13) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple15 triple16) -> (rule5 % int2)) triple16) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple15 triple16) -> (rule5 % int3)) ((triple12 triple13) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((triple11 ((((triple11) -> (rule7 % int3)) triple13) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple15 ((triple12 triple13) -> (rule1 % int3))) -> (rule5 % int2)) triple16) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple16) -> (rule4 % int3)) triple16) -> (rule5 % int2)) triple16) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((((triple13 triple16) -> (rule8 % int3)) triple16) -> (rule5 % int2)) triple16) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((triple15 triple16) -> (rule5 % int4)) ((((triple11) -> (rule7 % int3)) triple13) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple15 ((triple12 triple13) -> (rule1 % int3))) -> (rule5 % int2)) ((triple12 triple13) -> (rule1 % int3))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple16) -> (rule4 % int4)) triple16) -> (rule5 % int3)) ((triple12 triple13) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple16) -> (rule4 % int4)) ((triple12 triple13) -> (rule1 % int3))) -> (rule5 % int2)) triple16) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple13 triple16) -> (rule8 % int4)) triple16) -> (rule5 % int3)) ((triple12 triple13) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple13 triple16) -> (rule8 % int4)) ((triple12 triple13) -> (rule1 % int3))) -> (rule5 % int2)) triple16) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple15 ((triple12 triple13) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple11) -> (rule7 % int2)) triple13) -> (rule1 % int4))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple16) -> (rule4 % int5)) triple16) -> (rule5 % int4)) ((((triple11) -> (rule7 % int3)) triple13) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((triple16) -> (rule4 % int4)) ((triple12 triple13) -> (rule1 % int3))) -> (rule5 % int2)) ((triple12 triple13) -> (rule1 % int3))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple13 triple16) -> (rule8 % int5)) triple16) -> (rule5 % int4)) ((((triple11) -> (rule7 % int3)) triple13) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((triple13 triple16) -> (rule8 % int4)) ((triple12 triple13) -> (rule1 % int3))) -> (rule5 % int2)) ((triple12 triple13) -> (rule1 % int3))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple16) -> (rule4 % int5)) ((triple12 triple13) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple11) -> (rule7 % int2)) triple13) -> (rule1 % int4))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((triple13 triple16) -> (rule8 % int5)) ((triple12 triple13) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple11) -> (rule7 % int2)) triple13) -> (rule1 % int4))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((((triple12 triple13) -> (rule1 % int4))) -> (rule4 % int3)) triple16) -> (rule5 % int2)) triple16) -> (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 rough.
("Fiona" "is" "rough" "+")
int4
((((((triple13 ((triple12 triple13) -> (rule1 % int4))) -> (rule8 % int3)) triple16) -> (rule5 % int2)) triple16) -> (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 rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple12 triple13) -> (rule1 % int4))) -> (rule4 % int3)) triple16) -> (rule5 % int2)) ((triple12 triple13) -> (rule1 % int4))) -> (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 rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple12 triple13) -> (rule1 % int4))) -> (rule4 % int3)) ((triple12 triple13) -> (rule1 % int4))) -> (rule5 % int2)) triple16) -> (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 rough.
("Fiona" "is" "rough" "+")
int4
((((((triple13 ((triple12 triple13) -> (rule1 % int4))) -> (rule8 % int3)) triple16) -> (rule5 % int2)) ((triple12 triple13) -> (rule1 % int4))) -> (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 rough.
("Fiona" "is" "rough" "+")
int4
((((((triple13 ((triple12 triple13) -> (rule1 % int4))) -> (rule8 % int3)) ((triple12 triple13) -> (rule1 % int4))) -> (rule5 % int2)) triple16) -> (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 rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple12 triple13) -> (rule1 % int5))) -> (rule4 % int4)) triple16) -> (rule5 % int3)) ((((triple11) -> (rule7 % int2)) triple13) -> (rule1 % int5))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple12 triple13) -> (rule1 % int4))) -> (rule4 % int3)) ((triple12 triple13) -> (rule1 % int4))) -> (rule5 % int2)) ((triple12 triple13) -> (rule1 % int4))) -> (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 rough.
("Fiona" "is" "rough" "+")
int4
((((((triple13 ((triple12 triple13) -> (rule1 % int5))) -> (rule8 % int4)) triple16) -> (rule5 % int3)) ((((triple11) -> (rule7 % int2)) triple13) -> (rule1 % int5))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple13 ((triple12 triple13) -> (rule1 % int4))) -> (rule8 % int3)) ((triple12 triple13) -> (rule1 % int4))) -> (rule5 % int2)) ((triple12 triple13) -> (rule1 % int4))) -> (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 rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple12 triple13) -> (rule1 % int5))) -> (rule4 % int4)) ((triple12 triple13) -> (rule1 % int5))) -> (rule5 % int3)) ((((triple11) -> (rule7 % int2)) triple13) -> (rule1 % int5))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple13 ((triple12 triple13) -> (rule1 % int5))) -> (rule8 % int4)) ((triple12 triple13) -> (rule1 % int5))) -> (rule5 % int3)) ((((triple11) -> (rule7 % int2)) triple13) -> (rule1 % int5))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple15
((triple16) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple13 triple16) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple12 triple13) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple13 ((triple12 triple13) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple11) -> (rule7 % int3)) triple13) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((triple13 ((((triple11) -> (rule7 % int3)) triple13) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple16
((triple12 triple13) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple15 triple14) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple11) -> (rule7 % int2)) triple13) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple2) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple1 triple2) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple2) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple1 triple2) -> (rule8 % int2)) triple1) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple2) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple1 triple2) -> (rule8 % int2)) triple2) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((((triple2) -> (rule4 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple1 triple2) -> (rule8 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((((((triple2) -> (rule4 % int3)) triple2) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple1 triple2) -> (rule8 % int3)) triple2) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3