Charlie is blue. Charlie is kind. Dave is quiet. Dave is rough. Dave is round. Erin is white. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. All round, nice people are rough. All nice, quiet people are white. All rough people are blue. If someone is quiet and kind then they are nice. Rough people are quiet. If someone is round then they are nice. If Dave is nice then Dave is white. If someone is blue and rough then they are quiet. Blue people are round.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All round, nice people are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All nice, quiet people are white.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is quiet and kind then they are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Rough people are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
If someone is round then they are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If Dave is nice then Dave is white.
((("Dave" "is" "nice" "+")) -> ("Dave" "is" "white" "+"))
If someone is blue and rough then they are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Fiona is quiet.
True
1
proof
[(triple10 OR ((((triple11 triple9) -> rule1)) -> rule5) OR ((triple7 ((triple11 triple9) -> rule1)) -> rule8) OR ((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule5) OR ((((((triple7) -> rule9) triple9) -> rule1)) -> rule5) OR ((triple7 ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8) OR ((triple7 ((((triple7) -> rule9) triple9) -> rule1)) -> rule8) OR ((((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule5) OR ((triple7 ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 triple9) -> rule1)) -> rule8) OR ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) triple9) -> rule1)) -> rule8) OR ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8) OR ((((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule5) OR ((triple7 ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8) OR ((((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule5) OR ((triple7 ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 triple9) -> rule1)) -> rule8) OR ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) triple9) -> rule1)) -> rule8) OR ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8))]
("Fiona" "is" "quiet" "+")
triple10
((((triple11 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple7 ((triple11 triple9) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple11 ((triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple7) -> (rule9 % int3)) triple9) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((triple7 ((triple11 ((triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((triple7 ((((triple7) -> (rule9 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple7) -> (rule9 % int4)) ((triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple7 ((((triple7) -> (rule9 % int4)) ((triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple11 triple9) -> (rule1 % int3))) -> (rule3 % int2)) ((triple11 triple9) -> (rule1 % int3))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple11 triple9) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 ((triple11) -> (rule6 % int2))) -> (rule1 % int4))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple11 triple9) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule9 % int2)) triple9) -> (rule1 % int4))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) ((triple11) -> (rule6 % int2))) -> (rule1 % int5))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((triple11 ((((triple7) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple7 ((triple11 ((((triple7) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple7) -> (rule9 % int4)) ((((triple7) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple7 ((((triple7) -> (rule9 % int4)) ((((triple7) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple11 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple11 triple9) -> (rule1 % int3))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((triple11 ((((triple7) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule1 % int5))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple11 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple11 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule9 % int2)) triple9) -> (rule1 % int4))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) ((((triple7) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule1 % int5))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 ((((triple7) -> (rule9 % int2))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule9 % int2)) ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule9 % int2)) ((((triple7) -> (rule9 % int2))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is not blue.
False
1
inv-proof
[(triple7 OR ((((triple11 triple9) -> rule1)) -> rule3) OR ((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) OR ((((triple11 ((triple10 triple8) -> rule4)) -> rule1)) -> rule3))]
("Fiona" "is" "blue" "-")
triple7
((((triple11 triple9) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple11 ((triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple11 ((triple10 triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Dave is nice.
True
2
proof
[(((triple5) -> rule6) OR ((((((triple4) -> rule3)) -> rule9)) -> rule6))]
("Dave" "is" "nice" "+")
((triple5) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((((triple4) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not blue.
False
2
inv-proof
[(((triple4) -> rule3) OR ((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule3))]
("Dave" "is" "blue" "-")
((triple4) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Charlie is nice.
True
3
proof
[(((((triple1) -> rule9)) -> rule6))]
("Charlie" "is" "nice" "+")
((((triple1) -> (rule9 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Dave is not white.
False
3
inv-proof
[(((((triple5) -> rule6)) -> rule7) OR ((((triple5) -> rule6) triple3) -> rule2) OR ((((triple5) -> rule6) ((triple4) -> rule5)) -> rule2) OR ((((triple5) -> rule6) ((((triple4) -> rule3) triple4) -> rule8)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6)) -> rule7) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6) triple3) -> rule2) OR ((((triple5) -> rule6) ((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6) ((triple4) -> rule5)) -> rule2) OR ((((triple5) -> rule6) ((((triple4) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6) ((((triple4) -> rule3) triple4) -> rule8)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6) ((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6) ((((triple4) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple5) -> rule6) ((((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule3) triple4) -> rule8)) -> rule2) OR ((((triple5) -> rule6) ((((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6) ((((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule3) triple4) -> rule8)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6) ((((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule8)) -> rule2))]
("Dave" "is" "white" "-")
((((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple5) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple5) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple5) -> (rule6 % int4)) ((((triple4) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple4) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((((triple4) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple5) -> (rule6 % int4)) ((((triple5 ((triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple4) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((triple5) -> (rule6 % int5)) ((((triple4) -> (rule3 % int4)) ((triple5 ((triple5) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((((triple4) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule3 % int5)) triple4) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((triple4) -> (rule3 % int6))) -> (rule9 % int5))) -> (rule6 % int4)) ((((triple5 ((triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((((((triple4) -> (rule3 % int6))) -> (rule9 % int5))) -> (rule6 % int4)) ((((triple4) -> (rule3 % int6)) ((triple5 ((triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((triple5) -> (rule6 % int5)) ((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((triple5) -> (rule6 % int5)) ((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple5 ((triple5) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((((triple4) -> (rule3 % int6))) -> (rule9 % int5))) -> (rule6 % int4)) ((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int6)) triple4) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((((((triple4) -> (rule3 % int6))) -> (rule9 % int5))) -> (rule6 % int4)) ((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int6)) ((triple5 ((triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
Charlie is rough.
True
6
proof
[(((((triple1) -> rule9) ((((triple1) -> rule9)) -> rule6)) -> rule1))]
("Charlie" "is" "rough" "+")
((((triple1) -> (rule9 % int3)) ((((triple1) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not rough.
False
6
inv-proof
[(((((triple1) -> rule9) ((((triple1) -> rule9)) -> rule6)) -> rule1))]
("Charlie" "is" "rough" "-")
((((triple1) -> (rule9 % int3)) ((((triple1) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is quiet.
True
7
proof
[(((((((triple1) -> rule9) ((((triple1) -> rule9)) -> rule6)) -> rule1)) -> rule5) OR ((triple1 ((((triple1) -> rule9) ((((triple1) -> rule9)) -> rule6)) -> rule1)) -> rule8))]
("Charlie" "is" "quiet" "+")
((((((triple1) -> (rule9 % int4)) ((((triple1) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple1 ((((triple1) -> (rule9 % int4)) ((((triple1) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is not quiet.
False
7
inv-proof
[(((((((triple1) -> rule9) ((((triple1) -> rule9)) -> rule6)) -> rule1)) -> rule5) OR ((triple1 ((((triple1) -> rule9) ((((triple1) -> rule9)) -> rule6)) -> rule1)) -> rule8))]
("Charlie" "is" "quiet" "-")
((((((triple1) -> (rule9 % int4)) ((((triple1) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple1 ((((triple1) -> (rule9 % int4)) ((((triple1) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is white.
True
11
proof
[(((((((triple1) -> rule9)) -> rule6) ((((((triple1) -> rule9) ((((triple1) -> rule9)) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((((triple1) -> rule9)) -> rule6) ((triple1 ((((triple1) -> rule9) ((((triple1) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2))]
("Charlie" "is" "white" "+")
((((((triple1) -> (rule9 % int5))) -> (rule6 % int4)) ((((((triple1) -> (rule9 % int5)) ((((triple1) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple1) -> (rule9 % int5))) -> (rule6 % int4)) ((triple1 ((((triple1) -> (rule9 % int5)) ((((triple1) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is not white.
False
11
inv-proof
[(((((((triple1) -> rule9)) -> rule6) ((((((triple1) -> rule9) ((((triple1) -> rule9)) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((((triple1) -> rule9)) -> rule6) ((triple1 ((((triple1) -> rule9) ((((triple1) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2))]
("Charlie" "is" "white" "-")
((((((triple1) -> (rule9 % int5))) -> (rule6 % int4)) ((((((triple1) -> (rule9 % int5)) ((((triple1) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple1) -> (rule9 % int5))) -> (rule6 % int4)) ((triple1 ((((triple1) -> (rule9 % int5)) ((((triple1) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Erin is not round.
Unknown
inv-rconc
[@3: Erin is round.[CWA. Example of deepest failure = (rule9 <- rule3 <- rule1 <- FAIL)]]
("Erin" "is" "round" "-")
Erin is quiet.
Unknown
rconc
[@4: Erin is quiet.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule9 <- rule3 <- FAIL)]]
("Erin" "is" "quiet" "+")
Erin is not nice.
Unknown
inv-rconc
[@4: Erin is nice.[CWA. Example of deepest failure = (rule6 <- rule9 <- rule3 <- rule1 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is rough.
Unknown
rconc
[@3: Erin is rough.[CWA. Example of deepest failure = (rule1 <- rule9 <- rule3 <- FAIL)]]
("Erin" "is" "rough" "+")
Erin is not blue.
Unknown
inv-rconc
[@3: Erin is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule9 <- FAIL)]]
("Erin" "is" "blue" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Dave is quiet.[(triple3 OR ((triple4) -> rule5) OR ((((triple4) -> rule3) triple4) -> rule8) OR ((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule5) OR ((((triple4) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule8) OR ((((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule3) triple4) -> rule8) OR ((((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule8))] Dave is rough.[(triple4 OR ((triple5 ((triple5) -> rule6)) -> rule1))] Dave is round.[(triple5 OR ((((triple4) -> rule3)) -> rule9))] Erin is white.[(triple6)] Fiona is blue.[(triple7 OR ((((triple11 triple9) -> rule1)) -> rule3) OR ((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) OR ((((triple11 ((triple10 triple8) -> rule4)) -> rule1)) -> rule3))] Fiona is kind.[(triple8)] Fiona is nice.[(triple9 OR ((triple11) -> rule6) OR ((triple10 triple8) -> rule4) OR ((((triple7) -> rule9)) -> rule6))] Fiona is quiet.[(triple10 OR ((((triple11 triple9) -> rule1)) -> rule5) OR ((triple7 ((triple11 triple9) -> rule1)) -> rule8) OR ((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule5) OR ((((((triple7) -> rule9) triple9) -> rule1)) -> rule5) OR ((triple7 ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8) OR ((triple7 ((((triple7) -> rule9) triple9) -> rule1)) -> rule8) OR ((((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule5) OR ((triple7 ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 triple9) -> rule1)) -> rule8) OR ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) triple9) -> rule1)) -> rule8) OR ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8) OR ((((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule5) OR ((triple7 ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8) OR ((((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule5) OR ((triple7 ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 triple9) -> rule1)) -> rule8) OR ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) triple9) -> rule1)) -> rule8) OR ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8) OR ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8))] Fiona is round.[(triple11 OR ((triple7) -> rule9))] Fiona is white.[(triple12 OR ((triple9 triple10) -> rule2) OR ((((triple11) -> rule6) triple10) -> rule2) OR ((((triple10 triple8) -> rule4) triple10) -> rule2) OR ((triple9 ((((triple11 triple9) -> rule1)) -> rule5)) -> rule2) OR ((triple9 ((triple7 ((triple11 triple9) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) triple10) -> rule2) OR ((((triple11) -> rule6) ((((triple11 triple9) -> rule1)) -> rule5)) -> rule2) OR ((((triple11) -> rule6) ((triple7 ((triple11 triple9) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((triple11 triple9) -> rule1)) -> rule5)) -> rule2) OR ((((triple10 triple8) -> rule4) ((triple7 ((triple11 triple9) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((triple11 triple9) -> rule1)) -> rule5)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((triple7 ((triple11 triple9) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((triple9 ((((((triple7) -> rule9) triple9) -> rule1)) -> rule5)) -> rule2) OR ((triple9 ((triple7 ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((triple7 ((((triple7) -> rule9) triple9) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((triple9 ((triple7 ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 triple9) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((triple11) -> rule6) ((((((triple7) -> rule9) triple9) -> rule1)) -> rule5)) -> rule2) OR ((((triple11) -> rule6) ((triple7 ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((triple7 ((((triple7) -> rule9) triple9) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((((triple7) -> rule9) triple9) -> rule1)) -> rule5)) -> rule2) OR ((((triple10 triple8) -> rule4) ((triple7 ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((triple7 ((((triple7) -> rule9) triple9) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) triple9) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((triple11) -> rule6) ((triple7 ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 triple9) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((((triple7) -> rule9) triple9) -> rule1)) -> rule5)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((triple7 ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((triple7 ((((triple7) -> rule9) triple9) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((triple10 triple8) -> rule4) ((triple7 ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 triple9) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) triple9) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((triple7 ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 triple9) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) triple9) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) triple9) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((triple9 ((triple7 ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((triple9 ((triple7 ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 triple9) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((triple11) -> rule6) ((triple7 ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((triple10 triple8) -> rule4) ((triple7 ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) triple9) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((triple11) -> rule6) ((triple7 ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 triple9) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((triple7 ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((triple10 triple8) -> rule4) ((triple7 ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 triple9) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) triple9) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((triple7 ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 triple9) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) triple9) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((((triple11 triple9) -> rule1)) -> rule3) ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) triple9) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple11) -> rule6) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((((triple11 triple9) -> rule1)) -> rule3) ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule4) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((triple7) -> rule9)) -> rule6) ((((((triple11 ((triple11) -> rule6)) -> rule1)) -> rule3) ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2))] @1: Charlie is round.[(((triple1) -> rule9))] Dave is blue.[(((triple4) -> rule3) OR ((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule3))] Dave is nice.[(((triple5) -> rule6) OR ((((((triple4) -> rule3)) -> rule9)) -> rule6))] Fiona is rough.[(((triple11 triple9) -> rule1) OR ((triple11 ((triple11) -> rule6)) -> rule1) OR ((triple11 ((triple10 triple8) -> rule4)) -> rule1) OR ((((triple7) -> rule9) triple9) -> rule1) OR ((((triple7) -> rule9) ((triple11) -> rule6)) -> rule1) OR ((((triple7) -> rule9) ((triple10 triple8) -> rule4)) -> rule1) OR ((triple11 ((((triple7) -> rule9)) -> rule6)) -> rule1) OR ((((triple7) -> rule9) ((((triple7) -> rule9)) -> rule6)) -> rule1))] @2: Charlie is nice.[(((((triple1) -> rule9)) -> rule6))] Dave is white.[(((((triple5) -> rule6)) -> rule7) OR ((((triple5) -> rule6) triple3) -> rule2) OR ((((triple5) -> rule6) ((triple4) -> rule5)) -> rule2) OR ((((triple5) -> rule6) ((((triple4) -> rule3) triple4) -> rule8)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6)) -> rule7) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6) triple3) -> rule2) OR ((((triple5) -> rule6) ((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6) ((triple4) -> rule5)) -> rule2) OR ((((triple5) -> rule6) ((((triple4) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6) ((((triple4) -> rule3) triple4) -> rule8)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6) ((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6) ((((triple4) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((triple5) -> rule6) ((((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule3) triple4) -> rule8)) -> rule2) OR ((((triple5) -> rule6) ((((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6) ((((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule3) triple4) -> rule8)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule9)) -> rule6) ((((((triple5 ((triple5) -> rule6)) -> rule1)) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule1)) -> rule8)) -> rule2))] @3: Charlie is rough.[(((((triple1) -> rule9) ((((triple1) -> rule9)) -> rule6)) -> rule1))] @4: Charlie is quiet.[(((((((triple1) -> rule9) ((((triple1) -> rule9)) -> rule6)) -> rule1)) -> rule5) OR ((triple1 ((((triple1) -> rule9) ((((triple1) -> rule9)) -> rule6)) -> rule1)) -> rule8))] @5: Charlie is white.[(((((((triple1) -> rule9)) -> rule6) ((((((triple1) -> rule9) ((((triple1) -> rule9)) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((((triple1) -> rule9)) -> rule6) ((triple1 ((((triple1) -> rule9) ((((triple1) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
((triple4) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple4) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple4) -> (rule3 % int4)) ((triple5 ((triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple5 ((triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
triple4
((triple5 ((triple5) -> (rule6 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
triple5
((((triple4) -> (rule3 % int2))) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
((((triple11 triple9) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple11 ((triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple11 ((triple10 triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
((triple11) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple10 triple8) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple7) -> (rule9 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
((((triple11 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple7 ((triple11 triple9) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple11 ((triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple7) -> (rule9 % int3)) triple9) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((triple7 ((triple11 ((triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((triple7 ((((triple7) -> (rule9 % int3)) triple9) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple7) -> (rule9 % int4)) ((triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple7 ((((triple7) -> (rule9 % int4)) ((triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple11 triple9) -> (rule1 % int3))) -> (rule3 % int2)) ((triple11 triple9) -> (rule1 % int3))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple11 triple9) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 ((triple11) -> (rule6 % int2))) -> (rule1 % int4))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple11 triple9) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule9 % int2)) triple9) -> (rule1 % int4))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) ((triple11) -> (rule6 % int2))) -> (rule1 % int5))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((triple11 ((((triple7) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple7 ((triple11 ((((triple7) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple7) -> (rule9 % int4)) ((((triple7) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple7 ((((triple7) -> (rule9 % int4)) ((((triple7) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple11 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple11 triple9) -> (rule1 % int3))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((triple11 ((((triple7) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule1 % int5))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple11 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple11 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule9 % int2)) triple9) -> (rule1 % int4))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) ((((triple7) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule1 % int5))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 ((((triple7) -> (rule9 % int2))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule9 % int2)) ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule9 % int2)) ((((triple7) -> (rule9 % int2))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
triple11
((triple7) -> (rule9 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple12
((triple9 triple10) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple11) -> (rule6 % int2)) triple10) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple10 triple8) -> (rule4 % int2)) triple10) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((triple9 ((((triple11 triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((triple9 ((triple7 ((triple11 triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple7) -> (rule9 % int3))) -> (rule6 % int2)) triple10) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple11) -> (rule6 % int4)) ((((triple11 triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple11) -> (rule6 % int4)) ((triple7 ((triple11 triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple10 triple8) -> (rule4 % int4)) ((((triple11 triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple10 triple8) -> (rule4 % int4)) ((triple7 ((triple11 triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple7) -> (rule9 % int5))) -> (rule6 % int4)) ((((triple11 triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple7) -> (rule9 % int5))) -> (rule6 % int4)) ((triple7 ((triple11 triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((triple9 ((((triple11 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((triple9 ((((((triple7) -> (rule9 % int4)) triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple9 ((triple7 ((triple11 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((triple9 ((triple7 ((((triple7) -> (rule9 % int4)) triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple9 ((((((triple7) -> (rule9 % int5)) ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((triple9 ((triple7 ((((triple7) -> (rule9 % int5)) ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((triple9 ((((((triple11 triple9) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 triple9) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((triple11) -> (rule6 % int4)) ((((triple11 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple11) -> (rule6 % int5)) ((((((triple7) -> (rule9 % int4)) triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple11) -> (rule6 % int4)) ((triple7 ((triple11 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple11) -> (rule6 % int5)) ((triple7 ((((triple7) -> (rule9 % int4)) triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple10 triple8) -> (rule4 % int4)) ((((triple11 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple10 triple8) -> (rule4 % int5)) ((((((triple7) -> (rule9 % int4)) triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple10 triple8) -> (rule4 % int4)) ((triple7 ((triple11 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple10 triple8) -> (rule4 % int5)) ((triple7 ((((triple7) -> (rule9 % int4)) triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((triple9 ((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((triple11 ((triple11) -> (rule6 % int3))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((triple9 ((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) triple9) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((triple11) -> (rule6 % int5)) ((((((triple7) -> (rule9 % int4)) ((triple11) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple11) -> (rule6 % int5)) ((triple7 ((((triple7) -> (rule9 % int4)) ((triple11) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple11) -> (rule6 % int5)) ((((((triple11 triple9) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 triple9) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((triple7) -> (rule9 % int5))) -> (rule6 % int4)) ((((triple11 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple7) -> (rule9 % int5))) -> (rule6 % int4)) ((((((triple7) -> (rule9 % int5)) triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple7) -> (rule9 % int5))) -> (rule6 % int4)) ((triple7 ((triple11 ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple7) -> (rule9 % int5))) -> (rule6 % int4)) ((triple7 ((((triple7) -> (rule9 % int5)) triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((triple10 triple8) -> (rule4 % int5)) ((((((triple7) -> (rule9 % int4)) ((triple11) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple10 triple8) -> (rule4 % int5)) ((triple7 ((((triple7) -> (rule9 % int4)) ((triple11) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple10 triple8) -> (rule4 % int5)) ((((((triple11 triple9) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 triple9) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((triple9 ((((((triple11 triple9) -> (rule1 % int6))) -> (rule3 % int5)) ((((triple7) -> (rule9 % int4)) ((triple11) -> (rule6 % int3))) -> (rule1 % int6))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((triple11) -> (rule6 % int5)) ((((((triple11 triple9) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple11) -> (rule6 % int6)) ((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) triple9) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((triple7) -> (rule9 % int5))) -> (rule6 % int4)) ((((((triple7) -> (rule9 % int5)) ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple7) -> (rule9 % int5))) -> (rule6 % int4)) ((triple7 ((((triple7) -> (rule9 % int5)) ((triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple7) -> (rule9 % int6))) -> (rule6 % int5)) ((((((triple11 triple9) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 triple9) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((triple10 triple8) -> (rule4 % int5)) ((((((triple11 triple9) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple10 triple8) -> (rule4 % int6)) ((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) triple9) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((triple11) -> (rule6 % int6)) ((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((triple7) -> (rule9 % int6))) -> (rule6 % int5)) ((((((triple11 triple9) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((triple7) -> (rule9 % int6))) -> (rule6 % int5)) ((((((triple11 triple9) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule9 % int6)) triple9) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((triple10 triple8) -> (rule4 % int6)) ((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((triple7) -> (rule9 % int6))) -> (rule6 % int5)) ((((((triple11 triple9) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule9 % int6)) ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((triple9 ((((triple11 ((((triple7) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((triple9 ((triple7 ((triple11 ((((triple7) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((triple9 ((((((triple7) -> (rule9 % int5)) ((((triple7) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((triple9 ((triple7 ((((triple7) -> (rule9 % int5)) ((((triple7) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((triple9 ((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 triple9) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple11) -> (rule6 % int5)) ((((triple11 ((((triple7) -> (rule9 % int4))) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple11) -> (rule6 % int5)) ((triple7 ((triple11 ((((triple7) -> (rule9 % int4))) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple10 triple8) -> (rule4 % int5)) ((((triple11 ((((triple7) -> (rule9 % int4))) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple10 triple8) -> (rule4 % int5)) ((triple7 ((triple11 ((((triple7) -> (rule9 % int4))) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((triple9 ((((((triple11 triple9) -> (rule1 % int6))) -> (rule3 % int5)) ((triple11 ((((triple7) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int6))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((triple9 ((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((triple9 ((((((triple11 ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) triple9) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((triple11) -> (rule6 % int5)) ((((((triple7) -> (rule9 % int4)) ((((triple7) -> (rule9 % int4))) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple11) -> (rule6 % int5)) ((triple7 ((((triple7) -> (rule9 % int4)) ((((triple7) -> (rule9 % int4))) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple11) -> (rule6 % int5)) ((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 triple9) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((triple7) -> (rule9 % int5))) -> (rule6 % int4)) ((((triple11 ((((triple7) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple7) -> (rule9 % int5))) -> (rule6 % int4)) ((triple7 ((triple11 ((((triple7) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((triple10 triple8) -> (rule4 % int5)) ((((((triple7) -> (rule9 % int4)) ((((triple7) -> (rule9 % int4))) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple10 triple8) -> (rule4 % int5)) ((triple7 ((((triple7) -> (rule9 % int4)) ((((triple7) -> (rule9 % int4))) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple10 triple8) -> (rule4 % int5)) ((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 triple9) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((triple9 ((((((triple11 triple9) -> (rule1 % int6))) -> (rule3 % int5)) ((((triple7) -> (rule9 % int4)) ((((triple7) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int6))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((triple9 ((((((triple11 ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule3 % int4)) ((triple11 ((((triple7) -> (rule9 % int3))) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((triple9 ((((((triple11 ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((triple11) -> (rule6 % int6)) ((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((triple11 ((((triple7) -> (rule9 % int3))) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((triple11) -> (rule6 % int5)) ((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple11) -> (rule6 % int6)) ((((((triple11 ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) triple9) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((triple7) -> (rule9 % int5))) -> (rule6 % int4)) ((((((triple7) -> (rule9 % int5)) ((((triple7) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple7) -> (rule9 % int5))) -> (rule6 % int4)) ((triple7 ((((triple7) -> (rule9 % int5)) ((((triple7) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple7) -> (rule9 % int6))) -> (rule6 % int5)) ((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 triple9) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((triple10 triple8) -> (rule4 % int6)) ((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((triple11 ((((triple7) -> (rule9 % int3))) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((triple10 triple8) -> (rule4 % int5)) ((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple10 triple8) -> (rule4 % int6)) ((((((triple11 ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) triple9) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((triple9 ((((((triple11 ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) ((((triple7) -> (rule9 % int3))) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((triple11) -> (rule6 % int6)) ((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) ((((triple7) -> (rule9 % int3))) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((triple11) -> (rule6 % int6)) ((((((triple11 ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule3 % int4)) ((triple11 ((((triple7) -> (rule9 % int3))) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((triple11) -> (rule6 % int6)) ((((((triple11 ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((triple7) -> (rule9 % int6))) -> (rule6 % int5)) ((((((triple11 triple9) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 ((((triple7) -> (rule9 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((triple7) -> (rule9 % int6))) -> (rule6 % int5)) ((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((triple7) -> (rule9 % int6))) -> (rule6 % int5)) ((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule9 % int6)) triple9) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((triple10 triple8) -> (rule4 % int6)) ((((((triple11 triple9) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) ((((triple7) -> (rule9 % int3))) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((triple10 triple8) -> (rule4 % int6)) ((((((triple11 ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule3 % int4)) ((triple11 ((((triple7) -> (rule9 % int3))) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((triple10 triple8) -> (rule4 % int6)) ((((((triple11 ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((triple11) -> (rule6 % int6)) ((((((triple11 ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) ((((triple7) -> (rule9 % int3))) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((triple7) -> (rule9 % int6))) -> (rule6 % int5)) ((((((triple11 triple9) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule9 % int6)) ((((triple7) -> (rule9 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((triple7) -> (rule9 % int6))) -> (rule6 % int5)) ((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple11 ((((triple7) -> (rule9 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((triple7) -> (rule9 % int6))) -> (rule6 % int5)) ((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule9 % int6)) ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((triple10 triple8) -> (rule4 % int6)) ((((((triple11 ((triple11) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule9 % int3)) ((((triple7) -> (rule9 % int3))) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((triple7) -> (rule9 % int6))) -> (rule6 % int5)) ((((((triple11 ((triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule9 % int6)) ((((triple7) -> (rule9 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
Charlie is round.
("Charlie" "is" "round" "+")
((triple1) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple4) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
((triple5) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((((triple4) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple11 triple9) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple11 ((triple11) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((triple11 ((triple10 triple8) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple7) -> (rule9 % int2)) triple9) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple7) -> (rule9 % int3)) ((triple11) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple7) -> (rule9 % int3)) ((triple10 triple8) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((triple11 ((((triple7) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple7) -> (rule9 % int3)) ((((triple7) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple1) -> (rule9 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple5) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple5) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple5) -> (rule6 % int4)) ((((triple4) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple4) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((((triple4) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple5) -> (rule6 % int4)) ((((triple5 ((triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple4) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((triple5) -> (rule6 % int5)) ((((triple4) -> (rule3 % int4)) ((triple5 ((triple5) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((((triple4) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule6 % int3)) ((((triple4) -> (rule3 % int5)) triple4) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((triple4) -> (rule3 % int6))) -> (rule9 % int5))) -> (rule6 % int4)) ((((triple5 ((triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((((((triple4) -> (rule3 % int6))) -> (rule9 % int5))) -> (rule6 % int4)) ((((triple4) -> (rule3 % int6)) ((triple5 ((triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((triple5) -> (rule6 % int5)) ((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((triple5) -> (rule6 % int5)) ((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple5 ((triple5) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((((triple4) -> (rule3 % int6))) -> (rule9 % int5))) -> (rule6 % int4)) ((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int6)) triple4) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((((((triple4) -> (rule3 % int6))) -> (rule9 % int5))) -> (rule6 % int4)) ((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule3 % int6)) ((triple5 ((triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple1) -> (rule9 % int3)) ((((triple1) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((((triple1) -> (rule9 % int4)) ((((triple1) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple1 ((((triple1) -> (rule9 % int4)) ((((triple1) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
((((((triple1) -> (rule9 % int5))) -> (rule6 % int4)) ((((((triple1) -> (rule9 % int5)) ((((triple1) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple1) -> (rule9 % int5))) -> (rule6 % int4)) ((triple1 ((((triple1) -> (rule9 % int5)) ((((triple1) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5