Dave is big. Dave is furry. Dave is green. Erin is big. Fiona is big. Fiona is green. Fiona is rough. Gary is big. Gary is quiet. Gary is rough. Gary is white. If someone is furry and big then they are quiet. If someone is green then they are furry. If someone is green then they are quiet. White, furry people are nice. Rough, big people are quiet. All nice people are white. All furry, big people are nice. White, green people are rough. All big people are green.
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Erin is big.
("Erin" "is" "big" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is furry and big then they are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
If someone is green then they are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is green then they are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
White, furry people are nice.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Rough, big people are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
All nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
All furry, big people are nice.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
White, green people are rough.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
All big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Dave is green.
True
1
proof
[(triple3 OR ((triple1) -> rule9))]
("Dave" "is" "green" "+")
triple3
((triple1) -> (rule9 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Gary is not quiet.
False
1
inv-proof
[(triple9 OR ((triple10 triple8) -> rule5) OR ((((triple8) -> rule9)) -> rule3) OR ((((((triple8) -> rule9)) -> rule2) triple8) -> rule1) OR ((((triple11 ((triple8) -> rule9)) -> rule8) triple8) -> rule5) OR ((((((((((((triple8) -> rule9)) -> rule2) triple8) -> rule7)) -> rule6) ((triple8) -> rule9)) -> rule8) triple8) -> rule5))]
("Gary" "is" "quiet" "-")
triple9
((triple10 triple8) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple8) -> (rule9 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple8) -> (rule9 % int3))) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple11 ((triple8) -> (rule9 % int3))) -> (rule8 % int2)) triple8) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((((((((triple8) -> (rule9 % int6))) -> (rule2 % int5)) triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((triple8) -> (rule9 % int6))) -> (rule8 % int2)) triple8) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
Dave is quiet.
True
2
proof
[(((triple3) -> rule3) OR ((triple2 triple1) -> rule1) OR ((((triple1) -> rule9)) -> rule3) OR ((((triple3) -> rule2) triple1) -> rule1) OR ((((((triple1) -> rule9)) -> rule2) triple1) -> rule1) OR ((((((((triple2 triple1) -> rule7)) -> rule6) triple3) -> rule8) triple1) -> rule5) OR ((((((((triple2 triple1) -> rule7)) -> rule6) ((triple1) -> rule9)) -> rule8) triple1) -> rule5) OR ((((((((((triple3) -> rule2) triple1) -> rule7)) -> rule6) triple3) -> rule8) triple1) -> rule5) OR ((((((((((triple3) -> rule2) triple1) -> rule7)) -> rule6) ((triple1) -> rule9)) -> rule8) triple1) -> rule5) OR ((((((((((((triple1) -> rule9)) -> rule2) triple1) -> rule7)) -> rule6) triple3) -> rule8) triple1) -> rule5) OR ((((((((((((triple1) -> rule9)) -> rule2) triple1) -> rule7)) -> rule6) ((triple1) -> rule9)) -> rule8) triple1) -> rule5))]
("Dave" "is" "quiet" "+")
((triple3) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple2 triple1) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple1) -> (rule9 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple3) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((((triple1) -> (rule9 % int3))) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((((triple2 triple1) -> (rule7 % int4))) -> (rule6 % int3)) triple3) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple2 triple1) -> (rule7 % int5))) -> (rule6 % int4)) ((triple1) -> (rule9 % int3))) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((((((triple3) -> (rule2 % int5)) triple1) -> (rule7 % int4))) -> (rule6 % int3)) triple3) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((((((((triple3) -> (rule2 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4)) ((triple1) -> (rule9 % int3))) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is furry.
("Dave" "is" "furry" "+")
int6
((((((((((((triple1) -> (rule9 % int6))) -> (rule2 % int5)) triple1) -> (rule7 % int4))) -> (rule6 % int3)) triple3) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((((((((triple1) -> (rule9 % int6))) -> (rule2 % int5)) triple1) -> (rule7 % int4))) -> (rule6 % int3)) ((triple1) -> (rule9 % int6))) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
Dave is not nice.
False
3
inv-proof
[(((triple2 triple1) -> rule7) OR ((((triple3) -> rule2) triple1) -> rule7) OR ((((((triple1) -> rule9)) -> rule2) triple1) -> rule7))]
("Dave" "is" "nice" "-")
((triple2 triple1) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple3) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((((triple1) -> (rule9 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Erin is quiet.
True
3
proof
[(((((triple4) -> rule9)) -> rule3) OR ((((((triple4) -> rule9)) -> rule2) triple4) -> rule1) OR ((((((((((((triple4) -> rule9)) -> rule2) triple4) -> rule7)) -> rule6) ((triple4) -> rule9)) -> rule8) triple4) -> rule5))]
("Erin" "is" "quiet" "+")
((((triple4) -> (rule9 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple4) -> (rule9 % int3))) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((((((((triple4) -> (rule9 % int6))) -> (rule2 % int5)) triple4) -> (rule7 % int4))) -> (rule6 % int3)) ((triple4) -> (rule9 % int6))) -> (rule8 % int2)) triple4) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
Gary is not furry.
False
3
inv-proof
[(((((triple8) -> rule9)) -> rule2))]
("Gary" "is" "furry" "-")
((((triple8) -> (rule9 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
True
5
proof
[(((triple11 ((((triple8) -> rule9)) -> rule2)) -> rule4) OR ((((((triple8) -> rule9)) -> rule2) triple8) -> rule7))]
("Gary" "is" "nice" "+")
((triple11 ((((triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple8) -> (rule9 % int3))) -> (rule2 % int2)) triple8) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Fiona is not white.
False
5
inv-proof
[(((((((triple6) -> rule2) triple5) -> rule7)) -> rule6) OR ((((((((triple5) -> rule9)) -> rule2) triple5) -> rule7)) -> rule6))]
("Fiona" "is" "white" "-")
((((((triple6) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((((triple5) -> (rule9 % int4))) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Erin is white.
True
6
proof
[(((((((((triple4) -> rule9)) -> rule2) triple4) -> rule7)) -> rule6))]
("Erin" "is" "white" "+")
((((((((triple4) -> (rule9 % int4))) -> (rule2 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is not white.
False
6
inv-proof
[(((((((((triple4) -> rule9)) -> rule2) triple4) -> rule7)) -> rule6))]
("Erin" "is" "white" "-")
((((((((triple4) -> (rule9 % int4))) -> (rule2 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is rough.
True
9
proof
[(((((((((((triple4) -> rule9)) -> rule2) triple4) -> rule7)) -> rule6) ((triple4) -> rule9)) -> rule8))]
("Erin" "is" "rough" "+")
((((((((((triple4) -> (rule9 % int5))) -> (rule2 % int4)) triple4) -> (rule7 % int3))) -> (rule6 % int2)) ((triple4) -> (rule9 % int5))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is not rough.
False
9
inv-proof
[(((((((((((triple4) -> rule9)) -> rule2) triple4) -> rule7)) -> rule6) ((triple4) -> rule9)) -> rule8))]
("Erin" "is" "rough" "-")
((((((((((triple4) -> (rule9 % int5))) -> (rule2 % int4)) triple4) -> (rule7 % int3))) -> (rule6 % int2)) ((triple4) -> (rule9 % int5))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
@0: Dave is big.[(triple1)] Dave is furry.[(triple2 OR ((triple3) -> rule2) OR ((((triple1) -> rule9)) -> rule2))] Dave is green.[(triple3 OR ((triple1) -> rule9))] Erin is big.[(triple4)] Fiona is big.[(triple5)] Fiona is green.[(triple6 OR ((triple5) -> rule9))] Fiona is rough.[(triple7 OR ((((((((triple6) -> rule2) triple5) -> rule7)) -> rule6) triple6) -> rule8) OR ((((((((triple6) -> rule2) triple5) -> rule7)) -> rule6) ((triple5) -> rule9)) -> rule8) OR ((((((((((triple5) -> rule9)) -> rule2) triple5) -> rule7)) -> rule6) triple6) -> rule8) OR ((((((((((triple5) -> rule9)) -> rule2) triple5) -> rule7)) -> rule6) ((triple5) -> rule9)) -> rule8))] Gary is big.[(triple8)] Gary is quiet.[(triple9 OR ((triple10 triple8) -> rule5) OR ((((triple8) -> rule9)) -> rule3) OR ((((((triple8) -> rule9)) -> rule2) triple8) -> rule1) OR ((((triple11 ((triple8) -> rule9)) -> rule8) triple8) -> rule5) OR ((((((((((((triple8) -> rule9)) -> rule2) triple8) -> rule7)) -> rule6) ((triple8) -> rule9)) -> rule8) triple8) -> rule5))] Gary is rough.[(triple10 OR ((triple11 ((triple8) -> rule9)) -> rule8) OR ((((((((((triple8) -> rule9)) -> rule2) triple8) -> rule7)) -> rule6) ((triple8) -> rule9)) -> rule8))] Gary is white.[(triple11 OR ((((((((triple8) -> rule9)) -> rule2) triple8) -> rule7)) -> rule6))] @1: Dave is nice.[(((triple2 triple1) -> rule7) OR ((((triple3) -> rule2) triple1) -> rule7) OR ((((((triple1) -> rule9)) -> rule2) triple1) -> rule7))] Dave is quiet.[(((triple3) -> rule3) OR ((triple2 triple1) -> rule1) OR ((((triple1) -> rule9)) -> rule3) OR ((((triple3) -> rule2) triple1) -> rule1) OR ((((((triple1) -> rule9)) -> rule2) triple1) -> rule1) OR ((((((((triple2 triple1) -> rule7)) -> rule6) triple3) -> rule8) triple1) -> rule5) OR ((((((((triple2 triple1) -> rule7)) -> rule6) ((triple1) -> rule9)) -> rule8) triple1) -> rule5) OR ((((((((((triple3) -> rule2) triple1) -> rule7)) -> rule6) triple3) -> rule8) triple1) -> rule5) OR ((((((((((triple3) -> rule2) triple1) -> rule7)) -> rule6) ((triple1) -> rule9)) -> rule8) triple1) -> rule5) OR ((((((((((((triple1) -> rule9)) -> rule2) triple1) -> rule7)) -> rule6) triple3) -> rule8) triple1) -> rule5) OR ((((((((((((triple1) -> rule9)) -> rule2) triple1) -> rule7)) -> rule6) ((triple1) -> rule9)) -> rule8) triple1) -> rule5))] Erin is green.[(((triple4) -> rule9))] Fiona is furry.[(((triple6) -> rule2) OR ((((triple5) -> rule9)) -> rule2))] Fiona is quiet.[(((triple6) -> rule3) OR ((triple7 triple5) -> rule5) OR ((((triple5) -> rule9)) -> rule3) OR ((((triple6) -> rule2) triple5) -> rule1) OR ((((((triple5) -> rule9)) -> rule2) triple5) -> rule1) OR ((((((((((triple6) -> rule2) triple5) -> rule7)) -> rule6) triple6) -> rule8) triple5) -> rule5) OR ((((((((((triple6) -> rule2) triple5) -> rule7)) -> rule6) ((triple5) -> rule9)) -> rule8) triple5) -> rule5) OR ((((((((((((triple5) -> rule9)) -> rule2) triple5) -> rule7)) -> rule6) triple6) -> rule8) triple5) -> rule5) OR ((((((((((((triple5) -> rule9)) -> rule2) triple5) -> rule7)) -> rule6) ((triple5) -> rule9)) -> rule8) triple5) -> rule5))] Gary is green.[(((triple8) -> rule9))] @2: Dave is white.[(((((triple2 triple1) -> rule7)) -> rule6) OR ((((((triple3) -> rule2) triple1) -> rule7)) -> rule6) OR ((((((((triple1) -> rule9)) -> rule2) triple1) -> rule7)) -> rule6))] Erin is furry.[(((((triple4) -> rule9)) -> rule2))] Erin is quiet.[(((((triple4) -> rule9)) -> rule3) OR ((((((triple4) -> rule9)) -> rule2) triple4) -> rule1) OR ((((((((((((triple4) -> rule9)) -> rule2) triple4) -> rule7)) -> rule6) ((triple4) -> rule9)) -> rule8) triple4) -> rule5))] Fiona is nice.[(((((triple6) -> rule2) triple5) -> rule7) OR ((((((triple5) -> rule9)) -> rule2) triple5) -> rule7))] Gary is furry.[(((((triple8) -> rule9)) -> rule2))] @3: Dave is rough.[(((((((triple2 triple1) -> rule7)) -> rule6) triple3) -> rule8) OR ((((((triple2 triple1) -> rule7)) -> rule6) ((triple1) -> rule9)) -> rule8) OR ((((((((triple3) -> rule2) triple1) -> rule7)) -> rule6) triple3) -> rule8) OR ((((((((triple3) -> rule2) triple1) -> rule7)) -> rule6) ((triple1) -> rule9)) -> rule8) OR ((((((((((triple1) -> rule9)) -> rule2) triple1) -> rule7)) -> rule6) triple3) -> rule8) OR ((((((((((triple1) -> rule9)) -> rule2) triple1) -> rule7)) -> rule6) ((triple1) -> rule9)) -> rule8))] Erin is nice.[(((((((triple4) -> rule9)) -> rule2) triple4) -> rule7))] Fiona is white.[(((((((triple6) -> rule2) triple5) -> rule7)) -> rule6) OR ((((((((triple5) -> rule9)) -> rule2) triple5) -> rule7)) -> rule6))] Gary is nice.[(((triple11 ((((triple8) -> rule9)) -> rule2)) -> rule4) OR ((((((triple8) -> rule9)) -> rule2) triple8) -> rule7))] @4: Erin is white.[(((((((((triple4) -> rule9)) -> rule2) triple4) -> rule7)) -> rule6))] @5: Erin is rough.[(((((((((((triple4) -> rule9)) -> rule2) triple4) -> rule7)) -> rule6) ((triple4) -> rule9)) -> rule8))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
((triple3) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple1) -> (rule9 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
triple3
((triple1) -> (rule9 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
((triple5) -> (rule9 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
((((((((triple6) -> (rule2 % int4)) triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple6) -> (rule2 % int5)) triple5) -> (rule7 % int4))) -> (rule6 % int3)) ((triple5) -> (rule9 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((((((triple5) -> (rule9 % int5))) -> (rule2 % int4)) triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((((triple5) -> (rule9 % int5))) -> (rule2 % int4)) triple5) -> (rule7 % int3))) -> (rule6 % int2)) ((triple5) -> (rule9 % int5))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
((triple10 triple8) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple8) -> (rule9 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple8) -> (rule9 % int3))) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple11 ((triple8) -> (rule9 % int3))) -> (rule8 % int2)) triple8) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((((((((triple8) -> (rule9 % int6))) -> (rule2 % int5)) triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((triple8) -> (rule9 % int6))) -> (rule8 % int2)) triple8) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
Gary is rough.
("Gary" "is" "rough" "+")
triple10
((triple11 ((triple8) -> (rule9 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((((((triple8) -> (rule9 % int5))) -> (rule2 % int4)) triple8) -> (rule7 % int3))) -> (rule6 % int2)) ((triple8) -> (rule9 % int5))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
triple11
((((((((triple8) -> (rule9 % int4))) -> (rule2 % int3)) triple8) -> (rule7 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
((triple2 triple1) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple3) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((((triple1) -> (rule9 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple3) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple2 triple1) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple1) -> (rule9 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple3) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((((triple1) -> (rule9 % int3))) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((((triple2 triple1) -> (rule7 % int4))) -> (rule6 % int3)) triple3) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple2 triple1) -> (rule7 % int5))) -> (rule6 % int4)) ((triple1) -> (rule9 % int3))) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((((((triple3) -> (rule2 % int5)) triple1) -> (rule7 % int4))) -> (rule6 % int3)) triple3) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((((((((triple3) -> (rule2 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4)) ((triple1) -> (rule9 % int3))) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is furry.
("Dave" "is" "furry" "+")
int6
((((((((((((triple1) -> (rule9 % int6))) -> (rule2 % int5)) triple1) -> (rule7 % int4))) -> (rule6 % int3)) triple3) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((((((((triple1) -> (rule9 % int6))) -> (rule2 % int5)) triple1) -> (rule7 % int4))) -> (rule6 % int3)) ((triple1) -> (rule9 % int6))) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
Erin is green.
("Erin" "is" "green" "+")
((triple4) -> (rule9 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple6) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple5) -> (rule9 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple6) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple7 triple5) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple5) -> (rule9 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple6) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple5) -> (rule9 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((((((triple6) -> (rule2 % int5)) triple5) -> (rule7 % int4))) -> (rule6 % int3)) triple6) -> (rule8 % int2)) triple5) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((((((triple6) -> (rule2 % int6)) triple5) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5) -> (rule9 % int3))) -> (rule8 % int2)) triple5) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
int6
((((((((((((triple5) -> (rule9 % int6))) -> (rule2 % int5)) triple5) -> (rule7 % int4))) -> (rule6 % int3)) triple6) -> (rule8 % int2)) triple5) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
((((((((((((triple5) -> (rule9 % int6))) -> (rule2 % int5)) triple5) -> (rule7 % int4))) -> (rule6 % int3)) ((triple5) -> (rule9 % int6))) -> (rule8 % int2)) triple5) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
Gary is green.
("Gary" "is" "green" "+")
((triple8) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((((triple2 triple1) -> (rule7 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((((triple3) -> (rule2 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((((triple1) -> (rule9 % int4))) -> (rule2 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
((((triple4) -> (rule9 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple4) -> (rule9 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple4) -> (rule9 % int3))) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((((((((triple4) -> (rule9 % int6))) -> (rule2 % int5)) triple4) -> (rule7 % int4))) -> (rule6 % int3)) ((triple4) -> (rule9 % int6))) -> (rule8 % int2)) triple4) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple6) -> (rule2 % int2)) triple5) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple5) -> (rule9 % int3))) -> (rule2 % int2)) triple5) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
((((triple8) -> (rule9 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((((triple2 triple1) -> (rule7 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple2 triple1) -> (rule7 % int4))) -> (rule6 % int3)) ((triple1) -> (rule9 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple3) -> (rule2 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((((triple3) -> (rule2 % int5)) triple1) -> (rule7 % int4))) -> (rule6 % int3)) ((triple1) -> (rule9 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((((((((triple1) -> (rule9 % int5))) -> (rule2 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((((triple1) -> (rule9 % int5))) -> (rule2 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2)) ((triple1) -> (rule9 % int5))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
((((((triple4) -> (rule9 % int3))) -> (rule2 % int2)) triple4) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple6) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((((triple5) -> (rule9 % int4))) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
((triple11 ((((triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple8) -> (rule9 % int3))) -> (rule2 % int2)) triple8) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
((((((((triple4) -> (rule9 % int4))) -> (rule2 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
((((((((((triple4) -> (rule9 % int5))) -> (rule2 % int4)) triple4) -> (rule7 % int3))) -> (rule6 % int2)) ((triple4) -> (rule9 % int5))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5