Anne is round. Anne is white. Charlie is nice. Charlie is rough. Charlie is round. Erin is round. Fiona is smart. All nice things are round. If something is rough then it is round. Smart things are rough. If something is nice then it is young. If something is round then it is blue. Rough, round things are white. If something is round and nice then it is blue. Blue things are nice. Blue, nice things are smart.
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If something is rough then it is round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
Smart things are rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
If something is nice then it is young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is round then it is blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
Rough, round things are white.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
If something is round and nice then it is blue.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
Blue things are nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
Blue, nice things are smart.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
Charlie is round.
True
1
proof
[(triple5 OR ((triple3) -> rule1) OR ((triple4) -> rule2))]
("Charlie" "is" "round" "+")
triple5
((triple3) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Charlie is blue.
True
2
proof
[(((triple5) -> rule5) OR ((triple5 triple3) -> rule7) OR ((((triple3) -> rule1)) -> rule5) OR ((((triple4) -> rule2)) -> rule5) OR ((((triple3) -> rule1) triple3) -> rule7) OR ((((triple4) -> rule2) triple3) -> rule7))]
("Charlie" "is" "blue" "+")
((triple5) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple5 triple3) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple3) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple4) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Erin is not blue.
False
2
inv-proof
[(((triple6) -> rule5))]
("Erin" "is" "blue" "-")
((triple6) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
True
3
proof
[(((((triple6) -> rule5)) -> rule8))]
("Erin" "is" "nice" "+")
((((triple6) -> (rule5 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Charlie is not smart.
False
4
inv-proof
[(((((triple5) -> rule5) triple3) -> rule9) OR ((((triple5 triple3) -> rule7) triple3) -> rule9) OR ((((((triple3) -> rule1)) -> rule5) triple3) -> rule9) OR ((((((triple4) -> rule2)) -> rule5) triple3) -> rule9) OR ((((((triple3) -> rule1) triple3) -> rule7) triple3) -> rule9) OR ((((((triple4) -> rule2) triple3) -> rule7) triple3) -> rule9) OR ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule9) OR ((((triple5 triple3) -> rule7) ((((triple5) -> rule5)) -> rule8)) -> rule9) OR ((((((triple3) -> rule1)) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule9) OR ((((((triple4) -> rule2)) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule9) OR ((((((triple3) -> rule1) triple3) -> rule7) ((((triple5) -> rule5)) -> rule8)) -> rule9) OR ((((((triple4) -> rule2) triple3) -> rule7) ((((triple5) -> rule5)) -> rule8)) -> rule9) OR ((((triple5) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule8)) -> rule9) OR ((((triple5 triple3) -> rule7) ((((((triple4) -> rule2)) -> rule5)) -> rule8)) -> rule9) OR ((((((triple3) -> rule1)) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule8)) -> rule9) OR ((((((triple4) -> rule2)) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule8)) -> rule9) OR ((((((triple3) -> rule1) triple3) -> rule7) ((((((triple4) -> rule2)) -> rule5)) -> rule8)) -> rule9) OR ((((((triple4) -> rule2) triple3) -> rule7) ((((((triple4) -> rule2)) -> rule5)) -> rule8)) -> rule9))]
("Charlie" "is" "smart" "-")
((((triple5) -> (rule5 % int2)) triple3) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple5 triple3) -> (rule7 % int2)) triple3) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule5 % int2)) triple3) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple3) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple3) -> (rule1 % int3)) triple3) -> (rule7 % int2)) triple3) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple4) -> (rule2 % int3)) triple3) -> (rule7 % int2)) triple3) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple5 triple3) -> (rule7 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple3) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple3) -> (rule1 % int4)) triple3) -> (rule7 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule2 % int4)) triple3) -> (rule7 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple5) -> (rule5 % int4)) ((((((triple4) -> (rule2 % int3))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple5 triple3) -> (rule7 % int4)) ((((((triple4) -> (rule2 % int3))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple3) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule5 % int3)) ((((((triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple3) -> (rule1 % int4)) triple3) -> (rule7 % int3)) ((((((triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule2 % int4)) triple3) -> (rule7 % int3)) ((((((triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Fiona is blue.
True
4
proof
[(((((((triple7) -> rule3)) -> rule2)) -> rule5))]
("Fiona" "is" "blue" "+")
((((((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Anne is not young.
False
4
inv-proof
[(((((((triple1) -> rule5)) -> rule8)) -> rule4))]
("Anne" "is" "young" "-")
((((((triple1) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Fiona is nice.
True
5
proof
[(((((((((triple7) -> rule3)) -> rule2)) -> rule5)) -> rule8))]
("Fiona" "is" "nice" "+")
((((((((triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is not nice.
False
5
inv-proof
[(((((((((triple7) -> rule3)) -> rule2)) -> rule5)) -> rule8))]
("Fiona" "is" "nice" "-")
((((((((triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Erin is white.
True
9
proof
[(((((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule9)) -> rule3) triple6) -> rule6))]
("Erin" "is" "white" "+")
((((((((triple6) -> (rule5 % int5)) ((((triple6) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is not white.
False
9
inv-proof
[(((((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule9)) -> rule3) triple6) -> rule6))]
("Erin" "is" "white" "-")
((((((((triple6) -> (rule5 % int5)) ((((triple6) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
@0: Anne is round.[(triple1)] Anne is white.[(triple2 OR ((((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule8)) -> rule9)) -> rule3) triple1) -> rule6))] Charlie is nice.[(triple3 OR ((((triple5) -> rule5)) -> rule8) OR ((((((triple4) -> rule2)) -> rule5)) -> rule8))] Charlie is rough.[(triple4 OR ((((((triple5) -> rule5) triple3) -> rule9)) -> rule3) OR ((((((triple5 triple3) -> rule7) triple3) -> rule9)) -> rule3) OR ((((((((triple3) -> rule1)) -> rule5) triple3) -> rule9)) -> rule3) OR ((((((((triple3) -> rule1) triple3) -> rule7) triple3) -> rule9)) -> rule3) OR ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3) OR ((((((triple5 triple3) -> rule7) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3) OR ((((((((triple3) -> rule1)) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3) OR ((((((((triple3) -> rule1) triple3) -> rule7) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3))] Charlie is round.[(triple5 OR ((triple3) -> rule1) OR ((triple4) -> rule2))] Erin is round.[(triple6)] Fiona is smart.[(triple7)] @1: Anne is blue.[(((triple1) -> rule5))] Charlie is blue.[(((triple5) -> rule5) OR ((triple5 triple3) -> rule7) OR ((((triple3) -> rule1)) -> rule5) OR ((((triple4) -> rule2)) -> rule5) OR ((((triple3) -> rule1) triple3) -> rule7) OR ((((triple4) -> rule2) triple3) -> rule7))] Charlie is white.[(((triple4 triple5) -> rule6) OR ((triple4 ((triple3) -> rule1)) -> rule6) OR ((triple4 ((triple4) -> rule2)) -> rule6) OR ((((((((triple5) -> rule5) triple3) -> rule9)) -> rule3) triple5) -> rule6) OR ((((((((triple5 triple3) -> rule7) triple3) -> rule9)) -> rule3) triple5) -> rule6) OR ((((((((triple5) -> rule5) triple3) -> rule9)) -> rule3) ((triple3) -> rule1)) -> rule6) OR ((((((((triple5) -> rule5) triple3) -> rule9)) -> rule3) ((triple4) -> rule2)) -> rule6) OR ((((((((triple5 triple3) -> rule7) triple3) -> rule9)) -> rule3) ((triple3) -> rule1)) -> rule6) OR ((((((((triple5 triple3) -> rule7) triple3) -> rule9)) -> rule3) ((triple4) -> rule2)) -> rule6) OR ((((((((((triple3) -> rule1)) -> rule5) triple3) -> rule9)) -> rule3) triple5) -> rule6) OR ((((((((((triple3) -> rule1) triple3) -> rule7) triple3) -> rule9)) -> rule3) triple5) -> rule6) OR ((((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3) triple5) -> rule6) OR ((((((((((triple3) -> rule1)) -> rule5) triple3) -> rule9)) -> rule3) ((triple3) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule1)) -> rule5) triple3) -> rule9)) -> rule3) ((triple4) -> rule2)) -> rule6) OR ((((((((triple5 triple3) -> rule7) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3) triple5) -> rule6) OR ((((((((((triple3) -> rule1) triple3) -> rule7) triple3) -> rule9)) -> rule3) ((triple3) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule1) triple3) -> rule7) triple3) -> rule9)) -> rule3) ((triple4) -> rule2)) -> rule6) OR ((((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3) ((triple3) -> rule1)) -> rule6) OR ((((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3) ((triple4) -> rule2)) -> rule6) OR ((((((((((triple3) -> rule1)) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3) triple5) -> rule6) OR ((((((((triple5 triple3) -> rule7) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3) ((triple3) -> rule1)) -> rule6) OR ((((((((triple5 triple3) -> rule7) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3) ((triple4) -> rule2)) -> rule6) OR ((((((((((triple3) -> rule1) triple3) -> rule7) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3) triple5) -> rule6) OR ((((((((((triple3) -> rule1)) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3) ((triple3) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule1)) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3) ((triple4) -> rule2)) -> rule6) OR ((((((((((triple3) -> rule1) triple3) -> rule7) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3) ((triple3) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule1) triple3) -> rule7) ((((triple5) -> rule5)) -> rule8)) -> rule9)) -> rule3) ((triple4) -> rule2)) -> rule6))] Charlie is young.[(((triple3) -> rule4) OR ((((((triple5) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple4) -> rule2)) -> rule5)) -> rule8)) -> rule4))] Erin is blue.[(((triple6) -> rule5))] Fiona is rough.[(((triple7) -> rule3))] @2: Anne is nice.[(((((triple1) -> rule5)) -> rule8))] Charlie is smart.[(((((triple5) -> rule5) triple3) -> rule9) OR ((((triple5 triple3) -> rule7) triple3) -> rule9) OR ((((((triple3) -> rule1)) -> rule5) triple3) -> rule9) OR ((((((triple4) -> rule2)) -> rule5) triple3) -> rule9) OR ((((((triple3) -> rule1) triple3) -> rule7) triple3) -> rule9) OR ((((((triple4) -> rule2) triple3) -> rule7) triple3) -> rule9) OR ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule9) OR ((((triple5 triple3) -> rule7) ((((triple5) -> rule5)) -> rule8)) -> rule9) OR ((((((triple3) -> rule1)) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule9) OR ((((((triple4) -> rule2)) -> rule5) ((((triple5) -> rule5)) -> rule8)) -> rule9) OR ((((((triple3) -> rule1) triple3) -> rule7) ((((triple5) -> rule5)) -> rule8)) -> rule9) OR ((((((triple4) -> rule2) triple3) -> rule7) ((((triple5) -> rule5)) -> rule8)) -> rule9) OR ((((triple5) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule8)) -> rule9) OR ((((triple5 triple3) -> rule7) ((((((triple4) -> rule2)) -> rule5)) -> rule8)) -> rule9) OR ((((((triple3) -> rule1)) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule8)) -> rule9) OR ((((((triple4) -> rule2)) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule8)) -> rule9) OR ((((((triple3) -> rule1) triple3) -> rule7) ((((((triple4) -> rule2)) -> rule5)) -> rule8)) -> rule9) OR ((((((triple4) -> rule2) triple3) -> rule7) ((((((triple4) -> rule2)) -> rule5)) -> rule8)) -> rule9))] Erin is nice.[(((((triple6) -> rule5)) -> rule8))] Fiona is round.[(((((triple7) -> rule3)) -> rule2))] @3: Anne is smart.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule8)) -> rule9))] Anne is young.[(((((((triple1) -> rule5)) -> rule8)) -> rule4))] Erin is smart.[(((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule9))] Erin is young.[(((((((triple6) -> rule5)) -> rule8)) -> rule4))] Fiona is blue.[(((((((triple7) -> rule3)) -> rule2)) -> rule5))] Fiona is white.[(((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule2)) -> rule6))] @4: Anne is rough.[(((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule8)) -> rule9)) -> rule3))] Erin is rough.[(((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule9)) -> rule3))] Fiona is nice.[(((((((((triple7) -> rule3)) -> rule2)) -> rule5)) -> rule8))] @5: Erin is white.[(((((((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule9)) -> rule3) triple6) -> rule6))] Fiona is young.[(((((((((((triple7) -> rule3)) -> rule2)) -> rule5)) -> rule8)) -> rule4))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
((((((((triple1) -> (rule5 % int5)) ((((triple1) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
((((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
((((((triple5) -> (rule5 % int3)) triple3) -> (rule9 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple5 triple3) -> (rule7 % int3)) triple3) -> (rule9 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((((triple3) -> (rule1 % int4))) -> (rule5 % int3)) triple3) -> (rule9 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple3) -> (rule1 % int4)) triple3) -> (rule7 % int3)) triple3) -> (rule9 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple5 triple3) -> (rule7 % int4)) ((((triple5) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple3) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple3) -> (rule1 % int5)) triple3) -> (rule7 % int4)) ((((triple5) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is round.
("Charlie" "is" "round" "+")
triple5
((triple3) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple5) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple5 triple3) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple3) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple4) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((triple4 triple5) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple4 ((triple3) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple4 ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((((((triple5) -> (rule5 % int4)) triple3) -> (rule9 % int3))) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple5 triple3) -> (rule7 % int4)) triple3) -> (rule9 % int3))) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple5) -> (rule5 % int5)) triple3) -> (rule9 % int4))) -> (rule3 % int3)) ((triple3) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple5) -> (rule5 % int5)) triple3) -> (rule9 % int4))) -> (rule3 % int3)) ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple5 triple3) -> (rule7 % int5)) triple3) -> (rule9 % int4))) -> (rule3 % int3)) ((triple3) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple5 triple3) -> (rule7 % int5)) triple3) -> (rule9 % int4))) -> (rule3 % int3)) ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule5 % int4)) triple3) -> (rule9 % int3))) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((((triple3) -> (rule1 % int5)) triple3) -> (rule7 % int4)) triple3) -> (rule9 % int3))) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule5 % int4)) triple3) -> (rule9 % int3))) -> (rule3 % int2)) ((triple3) -> (rule1 % int5))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule5 % int4)) triple3) -> (rule9 % int3))) -> (rule3 % int2)) ((triple4) -> (rule2 % int5))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple5 triple3) -> (rule7 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((((triple3) -> (rule1 % int5)) triple3) -> (rule7 % int4)) triple3) -> (rule9 % int3))) -> (rule3 % int2)) ((triple3) -> (rule1 % int5))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((((triple3) -> (rule1 % int5)) triple3) -> (rule7 % int4)) triple3) -> (rule9 % int3))) -> (rule3 % int2)) ((triple4) -> (rule2 % int5))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple5) -> (rule5 % int6)) ((((triple5) -> (rule5 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) ((triple3) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6
((((((((triple5) -> (rule5 % int6)) ((((triple5) -> (rule5 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6
((((((((((triple3) -> (rule1 % int6))) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is round.
("Charlie" "is" "round" "+")
int6
((((((((triple5 triple3) -> (rule7 % int6)) ((((triple5) -> (rule5 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) ((triple3) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6
((((((((triple5 triple3) -> (rule7 % int6)) ((((triple5) -> (rule5 % int6))) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6
((((((((((triple3) -> (rule1 % int6)) triple3) -> (rule7 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is round.
("Charlie" "is" "round" "+")
int6
((((((((((triple3) -> (rule1 % int6))) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) ((triple3) -> (rule1 % int6))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is round.
("Charlie" "is" "round" "+")
int6
((((((((((triple3) -> (rule1 % int6))) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) ((triple4) -> (rule2 % int6))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is round.
("Charlie" "is" "round" "+")
int6
((((((((((triple3) -> (rule1 % int6)) triple3) -> (rule7 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) ((triple3) -> (rule1 % int6))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is round.
("Charlie" "is" "round" "+")
int6
((((((((((triple3) -> (rule1 % int6)) triple3) -> (rule7 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) ((triple4) -> (rule2 % int6))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is round.
("Charlie" "is" "round" "+")
int6
Charlie is young.
("Charlie" "is" "young" "+")
((triple3) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((((triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
((triple6) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple7) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple5) -> (rule5 % int2)) triple3) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple5 triple3) -> (rule7 % int2)) triple3) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule5 % int2)) triple3) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple3) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple3) -> (rule1 % int3)) triple3) -> (rule7 % int2)) triple3) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple4) -> (rule2 % int3)) triple3) -> (rule7 % int2)) triple3) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple5 triple3) -> (rule7 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple3) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple3) -> (rule1 % int4)) triple3) -> (rule7 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule2 % int4)) triple3) -> (rule7 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple5) -> (rule5 % int4)) ((((((triple4) -> (rule2 % int3))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple5 triple3) -> (rule7 % int4)) ((((((triple4) -> (rule2 % int3))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple3) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule5 % int3)) ((((((triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple3) -> (rule1 % int4)) triple3) -> (rule7 % int3)) ((((((triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule2 % int4)) triple3) -> (rule7 % int3)) ((((((triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
((((triple6) -> (rule5 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
((((((triple1) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((((triple6) -> (rule5 % int3)) ((((triple6) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
((((((triple6) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
((((((triple1) -> (rule5 % int4)) ((((triple1) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
((((((triple6) -> (rule5 % int4)) ((((triple6) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
((((((((triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
((((((((triple6) -> (rule5 % int5)) ((((triple6) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Fiona is young.
("Fiona" "is" "young" "+")
((((((((((triple7) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5