Charlie is big. Charlie is blue. Charlie is smart. Dave is big. Dave is green. Dave is nice. Erin is green. Erin is nice. Erin is quiet. Erin is rough. Erin is smart. Fiona is rough. Nice, big things are smart. If something is blue and green then it is smart. All blue things are green. All smart, rough things are blue. Rough, nice things are big. If something is green then it is big. Big things are rough. Rough things are nice. If Dave is rough then Dave is blue.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Nice, big things are smart.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
If something is blue and green then it is smart.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
All blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
All smart, rough things are blue.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
Rough, nice things are big.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If something is green then it is big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
Big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Rough things are nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If Dave is rough then Dave is blue.
((("Dave" "is" "rough" "+")) -> ("Dave" "is" "blue" "+"))
Charlie is blue.
True
1
proof
[(triple2 OR ((triple3 ((triple1) -> rule7)) -> rule4) OR ((((((((triple1) -> rule7)) -> rule8) triple1) -> rule1) ((triple1) -> rule7)) -> rule4))]
("Charlie" "is" "blue" "+")
triple2
((triple3 ((triple1) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((((((triple1) -> (rule7 % int4))) -> (rule8 % int3)) triple1) -> (rule1 % int2)) ((triple1) -> (rule7 % int4))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Erin is not nice.
False
1
inv-proof
[(triple8 OR ((triple10) -> rule8) OR ((((((triple7) -> rule6)) -> rule7)) -> rule8))]
("Erin" "is" "nice" "-")
triple8
((triple10) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((((triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is big.
True
2
proof
[(((triple7) -> rule6) OR ((triple10 triple8) -> rule5) OR ((triple10 ((triple10) -> rule8)) -> rule5) OR ((((((triple11 triple10) -> rule4)) -> rule3)) -> rule6))]
("Erin" "is" "big" "+")
((triple7) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple10 triple8) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple10 ((triple10) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple11 triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is not big.
False
2
inv-proof
[(((triple7) -> rule6) OR ((triple10 triple8) -> rule5) OR ((triple10 ((triple10) -> rule8)) -> rule5) OR ((((((triple11 triple10) -> rule4)) -> rule3)) -> rule6))]
("Erin" "is" "big" "-")
((triple7) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple10 triple8) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple10 ((triple10) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple11 triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Dave is blue.
True
3
proof
[(((((triple4) -> rule7)) -> rule9) OR ((((triple6 triple4) -> rule1) ((triple4) -> rule7)) -> rule4) OR ((((((triple5) -> rule6)) -> rule7)) -> rule9) OR ((((triple6 triple4) -> rule1) ((((triple5) -> rule6)) -> rule7)) -> rule4) OR ((((triple6 ((triple5) -> rule6)) -> rule1) ((triple4) -> rule7)) -> rule4) OR ((((triple6 ((triple5) -> rule6)) -> rule1) ((((triple5) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple4) -> rule7)) -> rule8) triple4) -> rule1) ((triple4) -> rule7)) -> rule4) OR ((((((((triple4) -> rule7)) -> rule8) triple4) -> rule1) ((((triple5) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple4) -> rule7)) -> rule8) ((triple5) -> rule6)) -> rule1) ((triple4) -> rule7)) -> rule4) OR ((((((((triple4) -> rule7)) -> rule8) ((triple5) -> rule6)) -> rule1) ((((triple5) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple5) -> rule6)) -> rule7)) -> rule8) triple4) -> rule1) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple5) -> rule6)) -> rule7)) -> rule8) triple4) -> rule1) ((((triple5) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple5) -> rule6)) -> rule7)) -> rule8) ((triple5) -> rule6)) -> rule1) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple5) -> rule6)) -> rule7)) -> rule8) ((triple5) -> rule6)) -> rule1) ((((triple5) -> rule6)) -> rule7)) -> rule4))]
("Dave" "is" "blue" "+")
((((triple4) -> (rule7 % int2))) -> (rule9 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple6 triple4) -> (rule1 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((triple6 triple4) -> (rule1 % int4)) ((((triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple6 ((triple5) -> (rule6 % int4))) -> (rule1 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple6 ((triple5) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple5) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple4) -> (rule7 % int4))) -> (rule8 % int3)) triple4) -> (rule1 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple4) -> (rule7 % int5))) -> (rule8 % int4)) triple4) -> (rule1 % int3)) ((((triple5) -> (rule6 % int2))) -> (rule7 % int5))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((triple4) -> (rule7 % int5))) -> (rule8 % int4)) ((triple5) -> (rule6 % int3))) -> (rule1 % int2)) ((triple4) -> (rule7 % int5))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((triple4) -> (rule7 % int5))) -> (rule8 % int4)) ((triple5) -> (rule6 % int3))) -> (rule1 % int2)) ((((triple5) -> (rule6 % int3))) -> (rule7 % int5))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) triple4) -> (rule1 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) triple4) -> (rule1 % int2)) ((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple5) -> (rule6 % int5))) -> (rule1 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple5) -> (rule6 % int5))) -> (rule1 % int2)) ((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Charlie is not nice.
False
3
inv-proof
[(((((triple1) -> rule7)) -> rule8) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule7)) -> rule8))]
("Charlie" "is" "nice" "-")
((((triple1) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Fiona is smart.
True
7
proof
[(((((triple12) -> rule8) ((triple12 ((triple12) -> rule8)) -> rule5)) -> rule1))]
("Fiona" "is" "smart" "+")
((((triple12) -> (rule8 % int3)) ((triple12 ((triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is not smart.
False
7
inv-proof
[(((((triple12) -> rule8) ((triple12 ((triple12) -> rule8)) -> rule5)) -> rule1))]
("Fiona" "is" "smart" "-")
((((triple12) -> (rule8 % int3)) ((triple12 ((triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is blue.
True
9
proof
[(((((((triple12) -> rule8) ((triple12 ((triple12) -> rule8)) -> rule5)) -> rule1) triple12) -> rule4))]
("Fiona" "is" "blue" "+")
((((((triple12) -> (rule8 % int4)) ((triple12 ((triple12) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple12) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is not blue.
False
9
inv-proof
[(((((((triple12) -> rule8) ((triple12 ((triple12) -> rule8)) -> rule5)) -> rule1) triple12) -> rule4))]
("Fiona" "is" "blue" "-")
((((((triple12) -> (rule8 % int4)) ((triple12 ((triple12) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple12) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is green.
True
10
proof
[(((((((((triple12) -> rule8) ((triple12 ((triple12) -> rule8)) -> rule5)) -> rule1) triple12) -> rule4)) -> rule3))]
("Fiona" "is" "green" "+")
((((((((triple12) -> (rule8 % int5)) ((triple12 ((triple12) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple12) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is not green.
False
10
inv-proof
[(((((((((triple12) -> rule8) ((triple12 ((triple12) -> rule8)) -> rule5)) -> rule1) triple12) -> rule4)) -> rule3))]
("Fiona" "is" "green" "-")
((((((((triple12) -> (rule8 % int5)) ((triple12 ((triple12) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple12) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Charlie is big.[(triple1 OR ((((triple2) -> rule3)) -> rule6))] Charlie is blue.[(triple2 OR ((triple3 ((triple1) -> rule7)) -> rule4) OR ((((((((triple1) -> rule7)) -> rule8) triple1) -> rule1) ((triple1) -> rule7)) -> rule4))] Charlie is smart.[(triple3 OR ((triple2 ((triple2) -> rule3)) -> rule2) OR ((((((triple1) -> rule7)) -> rule8) triple1) -> rule1) OR ((((((triple1) -> rule7)) -> rule8) ((((triple2) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule3)) -> rule6)) -> rule7)) -> rule8) triple1) -> rule1) OR ((((((((((triple2) -> rule3)) -> rule6)) -> rule7)) -> rule8) ((((triple2) -> rule3)) -> rule6)) -> rule1))] Dave is big.[(triple4 OR ((triple5) -> rule6))] Dave is green.[(triple5 OR ((((((triple4) -> rule7)) -> rule9)) -> rule3) OR ((((((triple6 triple4) -> rule1) ((triple4) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple4) -> rule7)) -> rule8) triple4) -> rule1) ((triple4) -> rule7)) -> rule4)) -> rule3))] Dave is nice.[(triple6 OR ((((triple4) -> rule7)) -> rule8) OR ((((((triple5) -> rule6)) -> rule7)) -> rule8))] Erin is green.[(triple7 OR ((((triple11 triple10) -> rule4)) -> rule3) OR ((((((triple8 ((triple10 triple8) -> rule5)) -> rule1) triple10) -> rule4)) -> rule3) OR ((((((((triple10) -> rule8) ((triple10 triple8) -> rule5)) -> rule1) triple10) -> rule4)) -> rule3) OR ((((((triple8 ((triple10 ((triple10) -> rule8)) -> rule5)) -> rule1) triple10) -> rule4)) -> rule3) OR ((((((((triple10) -> rule8) ((triple10 ((triple10) -> rule8)) -> rule5)) -> rule1) triple10) -> rule4)) -> rule3))] Erin is nice.[(triple8 OR ((triple10) -> rule8) OR ((((((triple7) -> rule6)) -> rule7)) -> rule8))] Erin is quiet.[(triple9)] Erin is rough.[(triple10 OR ((((triple7) -> rule6)) -> rule7))] Erin is smart.[(triple11 OR ((triple8 ((triple7) -> rule6)) -> rule1) OR ((triple8 ((triple10 triple8) -> rule5)) -> rule1) OR ((((triple10) -> rule8) ((triple7) -> rule6)) -> rule1) OR ((((triple10) -> rule8) ((triple10 triple8) -> rule5)) -> rule1) OR ((triple8 ((triple10 ((triple10) -> rule8)) -> rule5)) -> rule1) OR ((((triple10) -> rule8) ((triple10 ((triple10) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule6)) -> rule7)) -> rule8) ((triple7) -> rule6)) -> rule1) OR ((((((((triple7) -> rule6)) -> rule7)) -> rule8) ((triple10 triple8) -> rule5)) -> rule1) OR ((((((((triple7) -> rule6)) -> rule7)) -> rule8) ((triple10 ((triple10) -> rule8)) -> rule5)) -> rule1))] Fiona is rough.[(triple12)] @1: Charlie is green.[(((triple2) -> rule3) OR ((((triple3 ((triple1) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple1) -> rule7)) -> rule8) triple1) -> rule1) ((triple1) -> rule7)) -> rule4)) -> rule3))] Charlie is rough.[(((triple1) -> rule7) OR ((((((triple2) -> rule3)) -> rule6)) -> rule7))] Dave is rough.[(((triple4) -> rule7) OR ((((triple5) -> rule6)) -> rule7))] Dave is smart.[(((triple6 triple4) -> rule1) OR ((triple6 ((triple5) -> rule6)) -> rule1) OR ((((((triple4) -> rule7)) -> rule8) triple4) -> rule1) OR ((((((triple4) -> rule7)) -> rule9) triple5) -> rule2) OR ((((((triple4) -> rule7)) -> rule8) ((triple5) -> rule6)) -> rule1) OR ((((((((triple5) -> rule6)) -> rule7)) -> rule8) triple4) -> rule1) OR ((((((((triple5) -> rule6)) -> rule7)) -> rule9) triple5) -> rule2) OR ((((((((triple5) -> rule6)) -> rule7)) -> rule8) ((triple5) -> rule6)) -> rule1) OR ((((((triple4) -> rule7)) -> rule9) ((((((triple4) -> rule7)) -> rule9)) -> rule3)) -> rule2) OR ((((((((triple5) -> rule6)) -> rule7)) -> rule9) ((((((triple4) -> rule7)) -> rule9)) -> rule3)) -> rule2))] Erin is big.[(((triple7) -> rule6) OR ((triple10 triple8) -> rule5) OR ((triple10 ((triple10) -> rule8)) -> rule5) OR ((((((triple11 triple10) -> rule4)) -> rule3)) -> rule6))] Erin is blue.[(((triple11 triple10) -> rule4) OR ((triple11 ((((triple7) -> rule6)) -> rule7)) -> rule4) OR ((((triple8 ((triple7) -> rule6)) -> rule1) triple10) -> rule4) OR ((((triple8 ((triple10 triple8) -> rule5)) -> rule1) triple10) -> rule4) OR ((((((triple10) -> rule8) ((triple7) -> rule6)) -> rule1) triple10) -> rule4) OR ((((((triple10) -> rule8) ((triple10 triple8) -> rule5)) -> rule1) triple10) -> rule4) OR ((((triple8 ((triple7) -> rule6)) -> rule1) ((((triple7) -> rule6)) -> rule7)) -> rule4) OR ((((triple8 ((triple10 triple8) -> rule5)) -> rule1) ((((triple7) -> rule6)) -> rule7)) -> rule4) OR ((((((triple10) -> rule8) ((triple7) -> rule6)) -> rule1) ((((triple7) -> rule6)) -> rule7)) -> rule4) OR ((((((triple10) -> rule8) ((triple10 triple8) -> rule5)) -> rule1) ((((triple7) -> rule6)) -> rule7)) -> rule4) OR ((((triple8 ((triple10 ((triple10) -> rule8)) -> rule5)) -> rule1) triple10) -> rule4) OR ((((((triple10) -> rule8) ((triple10 ((triple10) -> rule8)) -> rule5)) -> rule1) triple10) -> rule4) OR ((((triple8 ((triple10 ((triple10) -> rule8)) -> rule5)) -> rule1) ((((triple7) -> rule6)) -> rule7)) -> rule4) OR ((((((triple10) -> rule8) ((triple10 ((triple10) -> rule8)) -> rule5)) -> rule1) ((((triple7) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule6)) -> rule7)) -> rule8) ((triple7) -> rule6)) -> rule1) triple10) -> rule4) OR ((((((((((triple7) -> rule6)) -> rule7)) -> rule8) ((triple10 triple8) -> rule5)) -> rule1) triple10) -> rule4) OR ((((((((((triple7) -> rule6)) -> rule7)) -> rule8) ((triple10 ((triple10) -> rule8)) -> rule5)) -> rule1) triple10) -> rule4) OR ((((((((((triple7) -> rule6)) -> rule7)) -> rule8) ((triple7) -> rule6)) -> rule1) ((((triple7) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule6)) -> rule7)) -> rule8) ((triple10 triple8) -> rule5)) -> rule1) ((((triple7) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule6)) -> rule7)) -> rule8) ((triple10 ((triple10) -> rule8)) -> rule5)) -> rule1) ((((triple7) -> rule6)) -> rule7)) -> rule4))] Fiona is nice.[(((triple12) -> rule8))] @2: Charlie is nice.[(((((triple1) -> rule7)) -> rule8) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule7)) -> rule8))] Dave is blue.[(((((triple4) -> rule7)) -> rule9) OR ((((triple6 triple4) -> rule1) ((triple4) -> rule7)) -> rule4) OR ((((((triple5) -> rule6)) -> rule7)) -> rule9) OR ((((triple6 triple4) -> rule1) ((((triple5) -> rule6)) -> rule7)) -> rule4) OR ((((triple6 ((triple5) -> rule6)) -> rule1) ((triple4) -> rule7)) -> rule4) OR ((((triple6 ((triple5) -> rule6)) -> rule1) ((((triple5) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple4) -> rule7)) -> rule8) triple4) -> rule1) ((triple4) -> rule7)) -> rule4) OR ((((((((triple4) -> rule7)) -> rule8) triple4) -> rule1) ((((triple5) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple4) -> rule7)) -> rule8) ((triple5) -> rule6)) -> rule1) ((triple4) -> rule7)) -> rule4) OR ((((((((triple4) -> rule7)) -> rule8) ((triple5) -> rule6)) -> rule1) ((((triple5) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple5) -> rule6)) -> rule7)) -> rule8) triple4) -> rule1) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple5) -> rule6)) -> rule7)) -> rule8) triple4) -> rule1) ((((triple5) -> rule6)) -> rule7)) -> rule4) OR ((((((((((triple5) -> rule6)) -> rule7)) -> rule8) ((triple5) -> rule6)) -> rule1) ((triple4) -> rule7)) -> rule4) OR ((((((((((triple5) -> rule6)) -> rule7)) -> rule8) ((triple5) -> rule6)) -> rule1) ((((triple5) -> rule6)) -> rule7)) -> rule4))] Fiona is big.[(((triple12 ((triple12) -> rule8)) -> rule5))] @3: Fiona is smart.[(((((triple12) -> rule8) ((triple12 ((triple12) -> rule8)) -> rule5)) -> rule1))] @4: Fiona is blue.[(((((((triple12) -> rule8) ((triple12 ((triple12) -> rule8)) -> rule5)) -> rule1) triple12) -> rule4))] @5: Fiona is green.[(((((((((triple12) -> rule8) ((triple12 ((triple12) -> rule8)) -> rule5)) -> rule1) triple12) -> rule4)) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
((triple3 ((triple1) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((((((triple1) -> (rule7 % int4))) -> (rule8 % int3)) triple1) -> (rule1 % int2)) ((triple1) -> (rule7 % int4))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
((triple2 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((((triple1) -> (rule7 % int3))) -> (rule8 % int2)) triple1) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple1) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((((triple2) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple1) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((((triple2) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((((triple2) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
triple4
((triple5) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple5
((((((triple4) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple6 triple4) -> (rule1 % int4)) ((triple4) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((((((triple4) -> (rule7 % int5))) -> (rule8 % int4)) triple4) -> (rule1 % int3)) ((triple4) -> (rule7 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
((((triple4) -> (rule7 % int2))) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((((triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
triple7
((((triple11 triple10) -> (rule4 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((((triple8 ((triple10 triple8) -> (rule5 % int4))) -> (rule1 % int3)) triple10) -> (rule4 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple10) -> (rule8 % int5)) ((triple10 triple8) -> (rule5 % int4))) -> (rule1 % int3)) triple10) -> (rule4 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((triple8 ((triple10 ((triple10) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple10) -> (rule4 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple10) -> (rule8 % int5)) ((triple10 ((triple10) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple10) -> (rule4 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
triple8
((triple10) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((((triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple10
((((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple11
((triple8 ((triple7) -> (rule6 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple8 ((triple10 triple8) -> (rule5 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple10) -> (rule8 % int3)) ((triple7) -> (rule6 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple10) -> (rule8 % int3)) ((triple10 triple8) -> (rule5 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((triple8 ((triple10 ((triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple10) -> (rule8 % int3)) ((triple10 ((triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((((((triple7) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple7) -> (rule6 % int4))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple7) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple10 triple8) -> (rule5 % int4))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple7) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple10 ((triple10) -> (rule8 % int2))) -> (rule5 % int4))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Charlie is green.
("Charlie" "is" "green" "+")
((triple2) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple3 ((triple1) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((((((triple1) -> (rule7 % int5))) -> (rule8 % int4)) triple1) -> (rule1 % int3)) ((triple1) -> (rule7 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((triple4) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
((triple6 triple4) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple6 ((triple5) -> (rule6 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((((triple4) -> (rule7 % int3))) -> (rule8 % int2)) triple4) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule9 % int2)) triple5) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple4) -> (rule7 % int4))) -> (rule8 % int3)) ((triple5) -> (rule6 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple4) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule9 % int2)) triple5) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple5) -> (rule6 % int4))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple4) -> (rule7 % int4))) -> (rule9 % int3)) ((((((triple4) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule9 % int3)) ((((((triple4) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
((triple7) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple10 triple8) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple10 ((triple10) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple11 triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
((triple11 triple10) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple11 ((((triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple8 ((triple7) -> (rule6 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple8 ((triple10 triple8) -> (rule5 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple10) -> (rule8 % int4)) ((triple7) -> (rule6 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple10) -> (rule8 % int4)) ((triple10 triple8) -> (rule5 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple8 ((triple7) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple8 ((triple10 triple8) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple10) -> (rule8 % int5)) ((triple7) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((triple10) -> (rule8 % int5)) ((triple10 triple8) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((triple8 ((triple10 ((triple10) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple10) -> (rule8 % int4)) ((triple10 ((triple10) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple8 ((triple10 ((triple10) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((triple10) -> (rule8 % int5)) ((triple10 ((triple10) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple7) -> (rule6 % int5))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple10 triple8) -> (rule5 % int5))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple10 ((triple10) -> (rule8 % int3))) -> (rule5 % int5))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple7) -> (rule6 % int5))) -> (rule1 % int2)) ((((triple7) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple10 triple8) -> (rule5 % int5))) -> (rule1 % int2)) ((((triple7) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple10 ((triple10) -> (rule8 % int3))) -> (rule5 % int5))) -> (rule1 % int2)) ((((triple7) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple12) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple1) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
((((triple4) -> (rule7 % int2))) -> (rule9 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple6 triple4) -> (rule1 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((triple6 triple4) -> (rule1 % int4)) ((((triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple6 ((triple5) -> (rule6 % int4))) -> (rule1 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple6 ((triple5) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple5) -> (rule6 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple4) -> (rule7 % int4))) -> (rule8 % int3)) triple4) -> (rule1 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple4) -> (rule7 % int5))) -> (rule8 % int4)) triple4) -> (rule1 % int3)) ((((triple5) -> (rule6 % int2))) -> (rule7 % int5))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((triple4) -> (rule7 % int5))) -> (rule8 % int4)) ((triple5) -> (rule6 % int3))) -> (rule1 % int2)) ((triple4) -> (rule7 % int5))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((triple4) -> (rule7 % int5))) -> (rule8 % int4)) ((triple5) -> (rule6 % int3))) -> (rule1 % int2)) ((((triple5) -> (rule6 % int3))) -> (rule7 % int5))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) triple4) -> (rule1 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) triple4) -> (rule1 % int2)) ((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple5) -> (rule6 % int5))) -> (rule1 % int2)) ((triple4) -> (rule7 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple5) -> (rule6 % int5))) -> (rule1 % int2)) ((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
((triple12 ((triple12) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple12) -> (rule8 % int3)) ((triple12 ((triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((triple12) -> (rule8 % int4)) ((triple12 ((triple12) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple12) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((((((((triple12) -> (rule8 % int5)) ((triple12 ((triple12) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple12) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5