Anne is furry. Anne is nice. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Charlie is young. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is round. Fiona is young. Harry is furry. Harry is nice. Round, nice things are young. Furry, smart things are young. Red, smart things are round. All furry things are smart. All round, young things are smart. If something is blue and young then it is red. If something is furry then it is smart. All young things are blue.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Round, nice things are young.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Furry, smart things are young.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Red, smart things are round.
((("something" "is" "red" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
All furry things are smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
All round, young things are smart.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If something is blue and young then it is red.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something is furry then it is smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
All young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Anne is nice.
True
1
proof
[(triple2)]
("Anne" "is" "nice" "+")
triple2
Charlie is not nice.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "nice" "-")
triple5
Anne is smart.
True
2
proof
[(((triple1) -> rule4) OR ((triple1) -> rule7))]
("Anne" "is" "smart" "+")
((triple1) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple1) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Harry is not smart.
False
2
inv-proof
[(((triple15) -> rule4) OR ((triple15) -> rule7))]
("Harry" "is" "smart" "-")
((triple15) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple15) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
True
4
proof
[(((triple15 ((triple15) -> rule4)) -> rule2) OR ((triple15 ((triple15) -> rule7)) -> rule2))]
("Harry" "is" "young" "+")
((triple15 ((triple15) -> (rule4 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((triple15 ((triple15) -> (rule7 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Anne is not young.
False
4
inv-proof
[(((triple1 ((triple1) -> rule4)) -> rule2) OR ((triple1 ((triple1) -> rule7)) -> rule2))]
("Anne" "is" "young" "-")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((triple1 ((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Harry is blue.
True
5
proof
[(((((triple15 ((triple15) -> rule4)) -> rule2)) -> rule8) OR ((((triple15 ((triple15) -> rule7)) -> rule2)) -> rule8))]
("Harry" "is" "blue" "+")
((((triple15 ((triple15) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple15 ((triple15) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is not blue.
False
5
inv-proof
[(((((triple15 ((triple15) -> rule4)) -> rule2)) -> rule8) OR ((((triple15 ((triple15) -> rule7)) -> rule2)) -> rule8))]
("Harry" "is" "blue" "-")
((((triple15 ((triple15) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple15 ((triple15) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
True
10
proof
[(((((((triple15 ((triple15) -> rule4)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule4)) -> rule2)) -> rule6) OR ((((((triple15 ((triple15) -> rule4)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule7)) -> rule2)) -> rule6) OR ((((((triple15 ((triple15) -> rule7)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule4)) -> rule2)) -> rule6) OR ((((((triple15 ((triple15) -> rule7)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule7)) -> rule2)) -> rule6))]
("Harry" "is" "red" "+")
((((((triple15 ((triple15) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple15 ((triple15) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple15 ((triple15) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple15 ((triple15) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple15 ((triple15) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple15 ((triple15) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple15 ((triple15) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple15 ((triple15) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Anne is not red.
False
10
inv-proof
[(((((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule7)) -> rule2)) -> rule6) OR ((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule7)) -> rule2)) -> rule6))]
("Anne" "is" "red" "-")
((((((triple1 ((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple1 ((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple1 ((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple1 ((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is round.
True
13
proof
[(((((((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule4)) -> rule2)) -> rule6) ((triple1) -> rule4)) -> rule3) OR ((((((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule4)) -> rule2)) -> rule6) ((triple1) -> rule7)) -> rule3) OR ((((((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule7)) -> rule2)) -> rule6) ((triple1) -> rule4)) -> rule3) OR ((((((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule7)) -> rule2)) -> rule6) ((triple1) -> rule7)) -> rule3) OR ((((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule4)) -> rule2)) -> rule6) ((triple1) -> rule4)) -> rule3) OR ((((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule4)) -> rule2)) -> rule6) ((triple1) -> rule7)) -> rule3) OR ((((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule7)) -> rule2)) -> rule6) ((triple1) -> rule4)) -> rule3) OR ((((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule7)) -> rule2)) -> rule6) ((triple1) -> rule7)) -> rule3))]
("Anne" "is" "round" "+")
((((((((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule4 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule7 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule4 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule7 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule4 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule7 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule4 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule7 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Harry is not round.
False
13
inv-proof
[(((((((((triple15 ((triple15) -> rule4)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule4)) -> rule2)) -> rule6) ((triple15) -> rule4)) -> rule3) OR ((((((((triple15 ((triple15) -> rule4)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule4)) -> rule2)) -> rule6) ((triple15) -> rule7)) -> rule3) OR ((((((((triple15 ((triple15) -> rule4)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule7)) -> rule2)) -> rule6) ((triple15) -> rule4)) -> rule3) OR ((((((((triple15 ((triple15) -> rule4)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule7)) -> rule2)) -> rule6) ((triple15) -> rule7)) -> rule3) OR ((((((((triple15 ((triple15) -> rule7)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule4)) -> rule2)) -> rule6) ((triple15) -> rule4)) -> rule3) OR ((((((((triple15 ((triple15) -> rule7)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule4)) -> rule2)) -> rule6) ((triple15) -> rule7)) -> rule3) OR ((((((((triple15 ((triple15) -> rule7)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule7)) -> rule2)) -> rule6) ((triple15) -> rule4)) -> rule3) OR ((((((((triple15 ((triple15) -> rule7)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule7)) -> rule2)) -> rule6) ((triple15) -> rule7)) -> rule3))]
("Harry" "is" "round" "-")
((((((((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule4 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule7 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule4 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule7 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule4 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule7 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule4 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule7 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Charlie is blue.[(triple3 OR ((triple9) -> rule8) OR ((((triple4 triple8) -> rule2)) -> rule8) OR ((((triple7 triple5) -> rule1)) -> rule8) OR ((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) OR ((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) OR ((((((triple6 triple8) -> rule3) triple5) -> rule1)) -> rule8) OR ((((((triple6 ((triple4) -> rule4)) -> rule3) triple5) -> rule1)) -> rule8) OR ((((((triple6 ((triple4) -> rule7)) -> rule3) triple5) -> rule1)) -> rule8))] Charlie is furry.[(triple4)] Charlie is nice.[(triple5)] Charlie is red.[(triple6 OR ((triple3 triple9) -> rule6) OR ((triple3 ((triple4 triple8) -> rule2)) -> rule6) OR ((triple3 ((triple7 triple5) -> rule1)) -> rule6) OR ((((triple9) -> rule8) triple9) -> rule6) OR ((((triple9) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) OR ((((triple9) -> rule8) ((triple7 triple5) -> rule1)) -> rule6) OR ((triple3 ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) OR ((triple3 ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) OR ((((((triple4 triple8) -> rule2)) -> rule8) triple9) -> rule6) OR ((((((triple7 triple5) -> rule1)) -> rule8) triple9) -> rule6) OR ((((triple9) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) OR ((((triple9) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) OR ((((((triple4 triple8) -> rule2)) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) OR ((((((triple4 triple8) -> rule2)) -> rule8) ((triple7 triple5) -> rule1)) -> rule6) OR ((((((triple7 triple5) -> rule1)) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) OR ((((((triple7 triple5) -> rule1)) -> rule8) ((triple7 triple5) -> rule1)) -> rule6) OR ((((((triple4 triple8) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) OR ((((((triple4 triple8) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7 triple5) -> rule1)) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) OR ((((((triple7 triple5) -> rule1)) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) OR ((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) triple9) -> rule6) OR ((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) triple9) -> rule6) OR ((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) OR ((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) ((triple7 triple5) -> rule1)) -> rule6) OR ((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) OR ((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) ((triple7 triple5) -> rule1)) -> rule6) OR ((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) OR ((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) OR ((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) OR ((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6))] Charlie is round.[(triple7 OR ((triple6 triple8) -> rule3) OR ((triple6 ((triple4) -> rule4)) -> rule3) OR ((triple6 ((triple4) -> rule7)) -> rule3) OR ((((triple3 triple9) -> rule6) triple8) -> rule3) OR ((((triple3 triple9) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((triple3 triple9) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((triple3 ((triple4 triple8) -> rule2)) -> rule6) triple8) -> rule3) OR ((((((triple9) -> rule8) triple9) -> rule6) triple8) -> rule3) OR ((((triple3 ((triple4 triple8) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((triple3 ((triple4 triple8) -> rule2)) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((triple9) -> rule8) triple9) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((triple9) -> rule8) triple9) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((triple9) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) triple8) -> rule3) OR ((((((triple9) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((triple9) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((triple3 ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) triple8) -> rule3) OR ((((triple3 ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) triple8) -> rule3) OR ((((((((triple4 triple8) -> rule2)) -> rule8) triple9) -> rule6) triple8) -> rule3) OR ((((triple3 ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((triple3 ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((triple3 ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((triple3 ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((triple9) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) triple8) -> rule3) OR ((((((triple9) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) triple8) -> rule3) OR ((((((((triple4 triple8) -> rule2)) -> rule8) triple9) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((((triple4 triple8) -> rule2)) -> rule8) triple9) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((((triple4 triple8) -> rule2)) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) triple8) -> rule3) OR ((((((triple9) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((triple9) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((triple9) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((triple9) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((((triple4 triple8) -> rule2)) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((((triple4 triple8) -> rule2)) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((((triple4 triple8) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) triple8) -> rule3) OR ((((((((triple4 triple8) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) triple8) -> rule3) OR ((((((((triple4 triple8) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((((triple4 triple8) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((((triple4 triple8) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((((triple4 triple8) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) triple9) -> rule6) triple8) -> rule3) OR ((((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) triple9) -> rule6) triple8) -> rule3) OR ((((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) triple9) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) triple9) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) triple8) -> rule3) OR ((((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) triple9) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) triple9) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) triple8) -> rule3) OR ((((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) triple8) -> rule3) OR ((((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) triple8) -> rule3) OR ((((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) ((triple4 triple8) -> rule2)) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) triple8) -> rule3) OR ((((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) triple8) -> rule3) OR ((((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6) ((triple4) -> rule7)) -> rule3) OR ((((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) ((triple4) -> rule4)) -> rule3) OR ((((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule8) ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule6) ((triple4) -> rule7)) -> rule3))] Charlie is smart.[(triple8 OR ((triple4) -> rule4) OR ((triple4) -> rule7) OR ((triple7 triple9) -> rule5) OR ((triple7 ((triple7 triple5) -> rule1)) -> rule5))] Charlie is young.[(triple9 OR ((triple4 triple8) -> rule2) OR ((triple7 triple5) -> rule1) OR ((triple4 ((triple4) -> rule4)) -> rule2) OR ((triple4 ((triple4) -> rule7)) -> rule2) OR ((((triple6 triple8) -> rule3) triple5) -> rule1) OR ((((triple6 ((triple4) -> rule4)) -> rule3) triple5) -> rule1) OR ((((triple6 ((triple4) -> rule7)) -> rule3) triple5) -> rule1))] Fiona is blue.[(triple10 OR ((triple14) -> rule8) OR ((((triple13 triple12) -> rule1)) -> rule8) OR ((((triple11 ((triple11) -> rule4)) -> rule2)) -> rule8) OR ((((triple11 ((triple11) -> rule7)) -> rule2)) -> rule8))] Fiona is furry.[(triple11)] Fiona is nice.[(triple12)] Fiona is round.[(triple13 OR ((((triple10 triple14) -> rule6) ((triple11) -> rule4)) -> rule3) OR ((((triple10 triple14) -> rule6) ((triple11) -> rule7)) -> rule3) OR ((((((triple14) -> rule8) triple14) -> rule6) ((triple11) -> rule4)) -> rule3) OR ((((((triple14) -> rule8) triple14) -> rule6) ((triple11) -> rule7)) -> rule3) OR ((((triple10 ((triple11 ((triple11) -> rule4)) -> rule2)) -> rule6) ((triple11) -> rule4)) -> rule3) OR ((((triple10 ((triple11 ((triple11) -> rule4)) -> rule2)) -> rule6) ((triple11) -> rule7)) -> rule3) OR ((((triple10 ((triple11 ((triple11) -> rule7)) -> rule2)) -> rule6) ((triple11) -> rule4)) -> rule3) OR ((((triple10 ((triple11 ((triple11) -> rule7)) -> rule2)) -> rule6) ((triple11) -> rule7)) -> rule3) OR ((((((triple14) -> rule8) ((triple11 ((triple11) -> rule4)) -> rule2)) -> rule6) ((triple11) -> rule4)) -> rule3) OR ((((((triple14) -> rule8) ((triple11 ((triple11) -> rule4)) -> rule2)) -> rule6) ((triple11) -> rule7)) -> rule3) OR ((((((triple14) -> rule8) ((triple11 ((triple11) -> rule7)) -> rule2)) -> rule6) ((triple11) -> rule4)) -> rule3) OR ((((((triple14) -> rule8) ((triple11 ((triple11) -> rule7)) -> rule2)) -> rule6) ((triple11) -> rule7)) -> rule3) OR ((((((((triple11 ((triple11) -> rule4)) -> rule2)) -> rule8) triple14) -> rule6) ((triple11) -> rule4)) -> rule3) OR ((((((((triple11 ((triple11) -> rule4)) -> rule2)) -> rule8) triple14) -> rule6) ((triple11) -> rule7)) -> rule3) OR ((((((((triple11 ((triple11) -> rule7)) -> rule2)) -> rule8) triple14) -> rule6) ((triple11) -> rule4)) -> rule3) OR ((((((((triple11 ((triple11) -> rule7)) -> rule2)) -> rule8) triple14) -> rule6) ((triple11) -> rule7)) -> rule3) OR ((((((((triple11 ((triple11) -> rule4)) -> rule2)) -> rule8) ((triple11 ((triple11) -> rule4)) -> rule2)) -> rule6) ((triple11) -> rule4)) -> rule3) OR ((((((((triple11 ((triple11) -> rule4)) -> rule2)) -> rule8) ((triple11 ((triple11) -> rule4)) -> rule2)) -> rule6) ((triple11) -> rule7)) -> rule3) OR ((((((((triple11 ((triple11) -> rule4)) -> rule2)) -> rule8) ((triple11 ((triple11) -> rule7)) -> rule2)) -> rule6) ((triple11) -> rule4)) -> rule3) OR ((((((((triple11 ((triple11) -> rule4)) -> rule2)) -> rule8) ((triple11 ((triple11) -> rule7)) -> rule2)) -> rule6) ((triple11) -> rule7)) -> rule3) OR ((((((((triple11 ((triple11) -> rule7)) -> rule2)) -> rule8) ((triple11 ((triple11) -> rule4)) -> rule2)) -> rule6) ((triple11) -> rule4)) -> rule3) OR ((((((((triple11 ((triple11) -> rule7)) -> rule2)) -> rule8) ((triple11 ((triple11) -> rule4)) -> rule2)) -> rule6) ((triple11) -> rule7)) -> rule3) OR ((((((((triple11 ((triple11) -> rule7)) -> rule2)) -> rule8) ((triple11 ((triple11) -> rule7)) -> rule2)) -> rule6) ((triple11) -> rule4)) -> rule3) OR ((((((((triple11 ((triple11) -> rule7)) -> rule2)) -> rule8) ((triple11 ((triple11) -> rule7)) -> rule2)) -> rule6) ((triple11) -> rule7)) -> rule3))] Fiona is young.[(triple14 OR ((triple13 triple12) -> rule1) OR ((triple11 ((triple11) -> rule4)) -> rule2) OR ((triple11 ((triple11) -> rule7)) -> rule2))] Harry is furry.[(triple15)] Harry is nice.[(triple16)] @1: Anne is smart.[(((triple1) -> rule4) OR ((triple1) -> rule7))] Fiona is red.[(((triple10 triple14) -> rule6) OR ((triple10 ((triple13 triple12) -> rule1)) -> rule6) OR ((((triple14) -> rule8) triple14) -> rule6) OR ((((triple14) -> rule8) ((triple13 triple12) -> rule1)) -> rule6) OR ((triple10 ((triple11 ((triple11) -> rule4)) -> rule2)) -> rule6) OR ((triple10 ((triple11 ((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((triple13 triple12) -> rule1)) -> rule8) triple14) -> rule6) OR ((((triple14) -> rule8) ((triple11 ((triple11) -> rule4)) -> rule2)) -> rule6) OR ((((triple14) -> rule8) ((triple11 ((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((triple13 triple12) -> rule1)) -> rule8) ((triple13 triple12) -> rule1)) -> rule6) OR ((((((triple13 triple12) -> rule1)) -> rule8) ((triple11 ((triple11) -> rule4)) -> rule2)) -> rule6) OR ((((((triple13 triple12) -> rule1)) -> rule8) ((triple11 ((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((triple11 ((triple11) -> rule4)) -> rule2)) -> rule8) triple14) -> rule6) OR ((((((triple11 ((triple11) -> rule7)) -> rule2)) -> rule8) triple14) -> rule6) OR ((((((triple11 ((triple11) -> rule4)) -> rule2)) -> rule8) ((triple13 triple12) -> rule1)) -> rule6) OR ((((((triple11 ((triple11) -> rule7)) -> rule2)) -> rule8) ((triple13 triple12) -> rule1)) -> rule6) OR ((((((triple11 ((triple11) -> rule4)) -> rule2)) -> rule8) ((triple11 ((triple11) -> rule4)) -> rule2)) -> rule6) OR ((((((triple11 ((triple11) -> rule4)) -> rule2)) -> rule8) ((triple11 ((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((triple11 ((triple11) -> rule7)) -> rule2)) -> rule8) ((triple11 ((triple11) -> rule4)) -> rule2)) -> rule6) OR ((((((triple11 ((triple11) -> rule7)) -> rule2)) -> rule8) ((triple11 ((triple11) -> rule7)) -> rule2)) -> rule6))] Fiona is smart.[(((triple11) -> rule4) OR ((triple11) -> rule7) OR ((triple13 triple14) -> rule5) OR ((triple13 ((triple13 triple12) -> rule1)) -> rule5))] Harry is smart.[(((triple15) -> rule4) OR ((triple15) -> rule7))] @2: Anne is young.[(((triple1 ((triple1) -> rule4)) -> rule2) OR ((triple1 ((triple1) -> rule7)) -> rule2))] Harry is young.[(((triple15 ((triple15) -> rule4)) -> rule2) OR ((triple15 ((triple15) -> rule7)) -> rule2))] @3: Anne is blue.[(((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule8) OR ((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule8))] Harry is blue.[(((((triple15 ((triple15) -> rule4)) -> rule2)) -> rule8) OR ((((triple15 ((triple15) -> rule7)) -> rule2)) -> rule8))] @4: Anne is red.[(((((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule7)) -> rule2)) -> rule6) OR ((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule4)) -> rule2)) -> rule6) OR ((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule7)) -> rule2)) -> rule6))] Harry is red.[(((((((triple15 ((triple15) -> rule4)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule4)) -> rule2)) -> rule6) OR ((((((triple15 ((triple15) -> rule4)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule7)) -> rule2)) -> rule6) OR ((((((triple15 ((triple15) -> rule7)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule4)) -> rule2)) -> rule6) OR ((((((triple15 ((triple15) -> rule7)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule7)) -> rule2)) -> rule6))] @5: Anne is round.[(((((((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule4)) -> rule2)) -> rule6) ((triple1) -> rule4)) -> rule3) OR ((((((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule4)) -> rule2)) -> rule6) ((triple1) -> rule7)) -> rule3) OR ((((((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule7)) -> rule2)) -> rule6) ((triple1) -> rule4)) -> rule3) OR ((((((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule7)) -> rule2)) -> rule6) ((triple1) -> rule7)) -> rule3) OR ((((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule4)) -> rule2)) -> rule6) ((triple1) -> rule4)) -> rule3) OR ((((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule4)) -> rule2)) -> rule6) ((triple1) -> rule7)) -> rule3) OR ((((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule7)) -> rule2)) -> rule6) ((triple1) -> rule4)) -> rule3) OR ((((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule7)) -> rule2)) -> rule6) ((triple1) -> rule7)) -> rule3))] Harry is round.[(((((((((triple15 ((triple15) -> rule4)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule4)) -> rule2)) -> rule6) ((triple15) -> rule4)) -> rule3) OR ((((((((triple15 ((triple15) -> rule4)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule4)) -> rule2)) -> rule6) ((triple15) -> rule7)) -> rule3) OR ((((((((triple15 ((triple15) -> rule4)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule7)) -> rule2)) -> rule6) ((triple15) -> rule4)) -> rule3) OR ((((((((triple15 ((triple15) -> rule4)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule7)) -> rule2)) -> rule6) ((triple15) -> rule7)) -> rule3) OR ((((((((triple15 ((triple15) -> rule7)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule4)) -> rule2)) -> rule6) ((triple15) -> rule4)) -> rule3) OR ((((((((triple15 ((triple15) -> rule7)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule4)) -> rule2)) -> rule6) ((triple15) -> rule7)) -> rule3) OR ((((((((triple15 ((triple15) -> rule7)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule7)) -> rule2)) -> rule6) ((triple15) -> rule4)) -> rule3) OR ((((((((triple15 ((triple15) -> rule7)) -> rule2)) -> rule8) ((triple15 ((triple15) -> rule7)) -> rule2)) -> rule6) ((triple15) -> rule7)) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
((triple9) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple4 triple8) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple7 triple5) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple4 ((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple4 ((triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple6 triple8) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple6 ((triple4) -> (rule4 % int4))) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple6 ((triple4) -> (rule7 % int4))) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
((triple3 triple9) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple3 ((triple4 triple8) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple3 ((triple7 triple5) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple9) -> (rule8 % int2)) triple9) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple9) -> (rule8 % int3)) ((triple4 triple8) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple9) -> (rule8 % int3)) ((triple7 triple5) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((triple3 ((triple4 ((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((triple3 ((triple4 ((triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple4 triple8) -> (rule2 % int3))) -> (rule8 % int2)) triple9) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple7 triple5) -> (rule1 % int3))) -> (rule8 % int2)) triple9) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple9) -> (rule8 % int4)) ((triple4 ((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple9) -> (rule8 % int4)) ((triple4 ((triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple4 triple8) -> (rule2 % int3))) -> (rule8 % int2)) ((triple4 triple8) -> (rule2 % int3))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple4 triple8) -> (rule2 % int3))) -> (rule8 % int2)) ((triple7 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple7 triple5) -> (rule1 % int3))) -> (rule8 % int2)) ((triple4 triple8) -> (rule2 % int3))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple7 triple5) -> (rule1 % int3))) -> (rule8 % int2)) ((triple7 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple4 triple8) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule4 % int2))) -> (rule2 % int4))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple4 triple8) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule7 % int2))) -> (rule2 % int4))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7 triple5) -> (rule1 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule4 % int2))) -> (rule2 % int4))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7 triple5) -> (rule1 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule7 % int2))) -> (rule2 % int4))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple4 ((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple9) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple9) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple4 ((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple4 triple8) -> (rule2 % int3))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple4 ((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple7 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple4 triple8) -> (rule2 % int3))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple7 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple4 ((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple4 ((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple4 ((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple4 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple4 ((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple4 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
triple7
((triple6 triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple6 ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple6 ((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple3 triple9) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple3 triple9) -> (rule6 % int3)) ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple3 triple9) -> (rule6 % int3)) ((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple3 ((triple4 triple8) -> (rule2 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple9) -> (rule8 % int3)) triple9) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple3 ((triple4 triple8) -> (rule2 % int4))) -> (rule6 % int3)) ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple3 ((triple4 triple8) -> (rule2 % int4))) -> (rule6 % int3)) ((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple9) -> (rule8 % int4)) triple9) -> (rule6 % int3)) ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple9) -> (rule8 % int4)) triple9) -> (rule6 % int3)) ((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple9) -> (rule8 % int4)) ((triple4 triple8) -> (rule2 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple9) -> (rule8 % int5)) ((triple4 triple8) -> (rule2 % int4))) -> (rule6 % int3)) ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple9) -> (rule8 % int5)) ((triple4 triple8) -> (rule2 % int4))) -> (rule6 % int3)) ((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((triple3 ((triple4 ((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple3 ((triple4 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((((triple4 triple8) -> (rule2 % int4))) -> (rule8 % int3)) triple9) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple3 ((triple4 ((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple3 ((triple4 ((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4) -> (rule7 % int4))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple3 ((triple4 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple3 ((triple4 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4) -> (rule7 % int4))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple9) -> (rule8 % int5)) ((triple4 ((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple9) -> (rule8 % int5)) ((triple4 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple4 triple8) -> (rule2 % int5))) -> (rule8 % int4)) triple9) -> (rule6 % int3)) ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((triple4 triple8) -> (rule2 % int5))) -> (rule8 % int4)) triple9) -> (rule6 % int3)) ((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((triple4 triple8) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 triple8) -> (rule2 % int4))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple9) -> (rule8 % int5)) ((triple4 ((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple9) -> (rule8 % int5)) ((triple4 ((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4) -> (rule7 % int4))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple9) -> (rule8 % int5)) ((triple4 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple9) -> (rule8 % int5)) ((triple4 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4) -> (rule7 % int4))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple4 triple8) -> (rule2 % int5))) -> (rule8 % int4)) ((triple4 triple8) -> (rule2 % int5))) -> (rule6 % int3)) ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((triple4 triple8) -> (rule2 % int5))) -> (rule8 % int4)) ((triple4 triple8) -> (rule2 % int5))) -> (rule6 % int3)) ((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((triple4 triple8) -> (rule2 % int5))) -> (rule8 % int4)) ((triple4 ((triple4) -> (rule4 % int3))) -> (rule2 % int5))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((triple4 triple8) -> (rule2 % int5))) -> (rule8 % int4)) ((triple4 ((triple4) -> (rule7 % int3))) -> (rule2 % int5))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((triple4 triple8) -> (rule2 % int5))) -> (rule8 % int4)) ((triple4 ((triple4) -> (rule4 % int3))) -> (rule2 % int5))) -> (rule6 % int2)) ((triple4) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((triple4 triple8) -> (rule2 % int5))) -> (rule8 % int4)) ((triple4 ((triple4) -> (rule4 % int3))) -> (rule2 % int5))) -> (rule6 % int2)) ((triple4) -> (rule7 % int3))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((triple4 triple8) -> (rule2 % int5))) -> (rule8 % int4)) ((triple4 ((triple4) -> (rule7 % int3))) -> (rule2 % int5))) -> (rule6 % int2)) ((triple4) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((triple4 triple8) -> (rule2 % int5))) -> (rule8 % int4)) ((triple4 ((triple4) -> (rule7 % int3))) -> (rule2 % int5))) -> (rule6 % int2)) ((triple4) -> (rule7 % int3))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) triple9) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) triple9) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) triple9) -> (rule6 % int2)) ((triple4) -> (rule4 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) triple9) -> (rule6 % int2)) ((triple4) -> (rule7 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 triple8) -> (rule2 % int4))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) triple9) -> (rule6 % int2)) ((triple4) -> (rule4 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) triple9) -> (rule6 % int2)) ((triple4) -> (rule7 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 triple8) -> (rule2 % int4))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 triple8) -> (rule2 % int4))) -> (rule6 % int2)) ((triple4) -> (rule4 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 triple8) -> (rule2 % int4))) -> (rule6 % int2)) ((triple4) -> (rule7 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 triple8) -> (rule2 % int4))) -> (rule6 % int2)) ((triple4) -> (rule4 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 triple8) -> (rule2 % int4))) -> (rule6 % int2)) ((triple4) -> (rule7 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple4) -> (rule4 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple4) -> (rule7 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple4) -> (rule4 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple4) -> (rule7 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple4) -> (rule4 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple4) -> (rule7 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple4) -> (rule4 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple4) -> (rule7 % int5))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple8
((triple4) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple4) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple7 triple9) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple7 ((triple7 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple9
((triple4 triple8) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple7 triple5) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple4 ((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple4 ((triple4) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple6 triple8) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple6 ((triple4) -> (rule4 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple6 ((triple4) -> (rule7 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
((triple14) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple13 triple12) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple11 ((triple11) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((triple11 ((triple11) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
triple13
((((triple10 triple14) -> (rule6 % int3)) ((triple11) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple10 triple14) -> (rule6 % int3)) ((triple11) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple14) -> (rule8 % int4)) triple14) -> (rule6 % int3)) ((triple11) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple14) -> (rule8 % int4)) triple14) -> (rule6 % int3)) ((triple11) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple10 ((triple11 ((triple11) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple11) -> (rule4 % int4))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((triple10 ((triple11 ((triple11) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple11) -> (rule7 % int4))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((triple10 ((triple11 ((triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple11) -> (rule4 % int4))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((triple10 ((triple11 ((triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple11) -> (rule7 % int4))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple14) -> (rule8 % int5)) ((triple11 ((triple11) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple11) -> (rule4 % int4))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple14) -> (rule8 % int5)) ((triple11 ((triple11) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple11) -> (rule7 % int4))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple14) -> (rule8 % int5)) ((triple11 ((triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple11) -> (rule4 % int4))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple14) -> (rule8 % int5)) ((triple11 ((triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple11) -> (rule7 % int4))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((((triple11 ((triple11) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) triple14) -> (rule6 % int2)) ((triple11) -> (rule4 % int5))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple11 ((triple11) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) triple14) -> (rule6 % int2)) ((triple11) -> (rule7 % int5))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple11 ((triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) triple14) -> (rule6 % int2)) ((triple11) -> (rule4 % int5))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple11 ((triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) triple14) -> (rule6 % int2)) ((triple11) -> (rule7 % int5))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple11 ((triple11) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple11 ((triple11) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple11) -> (rule4 % int5))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple11 ((triple11) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple11 ((triple11) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple11) -> (rule7 % int5))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple11 ((triple11) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple11 ((triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple11) -> (rule4 % int5))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple11 ((triple11) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple11 ((triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple11) -> (rule7 % int5))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple11 ((triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple11 ((triple11) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple11) -> (rule4 % int5))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple11 ((triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple11 ((triple11) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple11) -> (rule7 % int5))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple11 ((triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple11 ((triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple11) -> (rule4 % int5))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple11 ((triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple11 ((triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple11) -> (rule7 % int5))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
Fiona is young.
("Fiona" "is" "young" "+")
triple14
((triple13 triple12) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple11 ((triple11) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((triple11 ((triple11) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
triple15
Harry is nice.
("Harry" "is" "nice" "+")
triple16
Anne is smart.
("Anne" "is" "smart" "+")
((triple1) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple1) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple10 triple14) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple10 ((triple13 triple12) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple14) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple14) -> (rule8 % int3)) ((triple13 triple12) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((triple10 ((triple11 ((triple11) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((triple10 ((triple11 ((triple11) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple13 triple12) -> (rule1 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((triple14) -> (rule8 % int4)) ((triple11 ((triple11) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple14) -> (rule8 % int4)) ((triple11 ((triple11) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple13 triple12) -> (rule1 % int3))) -> (rule8 % int2)) ((triple13 triple12) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((triple13 triple12) -> (rule1 % int4))) -> (rule8 % int3)) ((triple11 ((triple11) -> (rule4 % int2))) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple13 triple12) -> (rule1 % int4))) -> (rule8 % int3)) ((triple11 ((triple11) -> (rule7 % int2))) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple11 ((triple11) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple11 ((triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple11 ((triple11) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple13 triple12) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple11 ((triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple13 triple12) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple11 ((triple11) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple11 ((triple11) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple11 ((triple11) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple11 ((triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple11 ((triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple11 ((triple11) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple11 ((triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple11 ((triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple11) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple11) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple13 triple14) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple13 ((triple13 triple12) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
((triple15) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple15) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((triple1 ((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple15 ((triple15) -> (rule4 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((triple15 ((triple15) -> (rule7 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((triple1 ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
((((triple15 ((triple15) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple15 ((triple15) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
((((((triple1 ((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple1 ((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple1 ((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple1 ((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
((((((triple15 ((triple15) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple15 ((triple15) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple15 ((triple15) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple15 ((triple15) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple15 ((triple15) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple15 ((triple15) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple15 ((triple15) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple15 ((triple15) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
((((((((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule4 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule7 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule4 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule7 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule4 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule7 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule4 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple1) -> (rule7 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
((((((((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule4 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule7 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule4 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule7 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule4 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule7 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule4 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple15 ((triple15) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int2)) ((triple15) -> (rule7 % int5))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5