Anne is blue. Anne is green. Anne is kind. Anne is red. Anne is young. Bob is blue. Bob is rough. Charlie is kind. Charlie is red. Gary is kind. Gary is red. All red people are rough. All young people are kind. If someone is kind and young then they are smart. All young people are kind. Rough people are young. If someone is red and green then they are blue. Smart people are green.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
All red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
All young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and young then they are smart.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
All young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is red and green then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Smart people are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
Anne is red.
True
1
proof
[(triple4)]
("Anne" "is" "red" "+")
triple4
Charlie is not kind.
False
1
inv-proof
[(triple8 OR ((((((triple9) -> rule1)) -> rule5)) -> rule2) OR ((((((triple9) -> rule1)) -> rule5)) -> rule4))]
("Charlie" "is" "kind" "-")
triple8
((((((triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Gary is rough.
True
2
proof
[(((triple11) -> rule1))]
("Gary" "is" "rough" "+")
((triple11) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple7) -> rule5))]
("Bob" "is" "young" "-")
((triple7) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
True
3
proof
[(((((triple7) -> rule5)) -> rule2) OR ((((triple7) -> rule5)) -> rule4))]
("Bob" "is" "kind" "+")
((((triple7) -> (rule5 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not kind.
False
3
inv-proof
[(((((triple7) -> rule5)) -> rule2) OR ((((triple7) -> rule5)) -> rule4))]
("Bob" "is" "kind" "-")
((((triple7) -> (rule5 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Gary is smart.
True
5
proof
[(((triple10 ((((triple11) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple11) -> rule1)) -> rule5)) -> rule2) ((((triple11) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple11) -> rule1)) -> rule5)) -> rule4) ((((triple11) -> rule1)) -> rule5)) -> rule3))]
("Gary" "is" "smart" "+")
((triple10 ((((triple11) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((((triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((((triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((((triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is not smart.
False
5
inv-proof
[(((triple10 ((((triple11) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple11) -> rule1)) -> rule5)) -> rule2) ((((triple11) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple11) -> rule1)) -> rule5)) -> rule4) ((((triple11) -> rule1)) -> rule5)) -> rule3))]
("Gary" "is" "smart" "-")
((triple10 ((((triple11) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((((triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((((triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((((triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Bob is green.
True
7
proof
[(((((((((triple7) -> rule5)) -> rule2) ((triple7) -> rule5)) -> rule3)) -> rule7) OR ((((((((triple7) -> rule5)) -> rule4) ((triple7) -> rule5)) -> rule3)) -> rule7))]
("Bob" "is" "green" "+")
((((((((triple7) -> (rule5 % int4))) -> (rule2 % int3)) ((triple7) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple7) -> (rule5 % int4))) -> (rule4 % int3)) ((triple7) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is not green.
False
7
inv-proof
[(((((((((triple7) -> rule5)) -> rule2) ((triple7) -> rule5)) -> rule3)) -> rule7) OR ((((((((triple7) -> rule5)) -> rule4) ((triple7) -> rule5)) -> rule3)) -> rule7))]
("Bob" "is" "green" "-")
((((((((triple7) -> (rule5 % int4))) -> (rule2 % int3)) ((triple7) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple7) -> (rule5 % int4))) -> (rule4 % int3)) ((triple7) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Gary is blue.
True
8
proof
[(((triple11 ((((triple10 ((((triple11) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((triple11 ((((((((((triple11) -> rule1)) -> rule5)) -> rule2) ((((triple11) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((triple11 ((((((((((triple11) -> rule1)) -> rule5)) -> rule4) ((((triple11) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6))]
("Gary" "is" "blue" "+")
((triple11 ((((triple10 ((((triple11) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((triple11 ((((((((((triple11) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple11) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is rough.
("Gary" "is" "rough" "+")
int6
((triple11 ((((((((((triple11) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple11) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is rough.
("Gary" "is" "rough" "+")
int6
Charlie is not blue.
False
8
inv-proof
[(((triple9 ((((triple8 ((((triple9) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((triple9 ((((((((((triple9) -> rule1)) -> rule5)) -> rule2) ((((triple9) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((triple9 ((((((((((triple9) -> rule1)) -> rule5)) -> rule4) ((((triple9) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6))]
("Charlie" "is" "blue" "-")
((triple9 ((((triple8 ((((triple9) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((triple9 ((((((((((triple9) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple9) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is rough.
("Charlie" "is" "rough" "+")
int6
((triple9 ((((((((((triple9) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is rough.
("Charlie" "is" "rough" "+")
int6
@0: Anne is blue.[(triple1 OR ((triple4 triple2) -> rule6) OR ((triple4 ((((triple3 triple5) -> rule3)) -> rule7)) -> rule6) OR ((triple4 ((((((triple5) -> rule2) triple5) -> rule3)) -> rule7)) -> rule6) OR ((triple4 ((((((triple5) -> rule4) triple5) -> rule3)) -> rule7)) -> rule6) OR ((triple4 ((((triple3 ((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((triple4 ((((((triple5) -> rule2) ((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((triple4 ((((((triple5) -> rule4) ((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((triple4 ((((((((((triple4) -> rule1)) -> rule5)) -> rule2) triple5) -> rule3)) -> rule7)) -> rule6) OR ((triple4 ((((((((((triple4) -> rule1)) -> rule5)) -> rule4) triple5) -> rule3)) -> rule7)) -> rule6) OR ((triple4 ((((((((((triple4) -> rule1)) -> rule5)) -> rule2) ((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((triple4 ((((((((((triple4) -> rule1)) -> rule5)) -> rule4) ((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6))] Anne is green.[(triple2 OR ((((triple3 triple5) -> rule3)) -> rule7) OR ((((((triple5) -> rule2) triple5) -> rule3)) -> rule7) OR ((((((triple5) -> rule4) triple5) -> rule3)) -> rule7) OR ((((triple3 ((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((triple5) -> rule2) ((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((triple5) -> rule4) ((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((((((triple4) -> rule1)) -> rule5)) -> rule2) triple5) -> rule3)) -> rule7) OR ((((((((((triple4) -> rule1)) -> rule5)) -> rule4) triple5) -> rule3)) -> rule7) OR ((((((((((triple4) -> rule1)) -> rule5)) -> rule2) ((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((((((triple4) -> rule1)) -> rule5)) -> rule4) ((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule7))] Anne is kind.[(triple3 OR ((triple5) -> rule2) OR ((triple5) -> rule4) OR ((((((triple4) -> rule1)) -> rule5)) -> rule2) OR ((((((triple4) -> rule1)) -> rule5)) -> rule4))] Anne is red.[(triple4)] Anne is young.[(triple5 OR ((((triple4) -> rule1)) -> rule5))] Bob is blue.[(triple6)] Bob is rough.[(triple7)] Charlie is kind.[(triple8 OR ((((((triple9) -> rule1)) -> rule5)) -> rule2) OR ((((((triple9) -> rule1)) -> rule5)) -> rule4))] Charlie is red.[(triple9)] Gary is kind.[(triple10 OR ((((((triple11) -> rule1)) -> rule5)) -> rule2) OR ((((((triple11) -> rule1)) -> rule5)) -> rule4))] Gary is red.[(triple11)] @1: Anne is rough.[(((triple4) -> rule1))] Anne is smart.[(((triple3 triple5) -> rule3) OR ((((triple5) -> rule2) triple5) -> rule3) OR ((((triple5) -> rule4) triple5) -> rule3) OR ((triple3 ((((triple4) -> rule1)) -> rule5)) -> rule3) OR ((((triple5) -> rule2) ((((triple4) -> rule1)) -> rule5)) -> rule3) OR ((((triple5) -> rule4) ((((triple4) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple4) -> rule1)) -> rule5)) -> rule2) triple5) -> rule3) OR ((((((((triple4) -> rule1)) -> rule5)) -> rule4) triple5) -> rule3) OR ((((((((triple4) -> rule1)) -> rule5)) -> rule2) ((((triple4) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple4) -> rule1)) -> rule5)) -> rule4) ((((triple4) -> rule1)) -> rule5)) -> rule3))] Bob is young.[(((triple7) -> rule5))] Charlie is rough.[(((triple9) -> rule1))] Gary is rough.[(((triple11) -> rule1))] @2: Bob is kind.[(((((triple7) -> rule5)) -> rule2) OR ((((triple7) -> rule5)) -> rule4))] Charlie is young.[(((((triple9) -> rule1)) -> rule5))] Gary is young.[(((((triple11) -> rule1)) -> rule5))] @3: Bob is smart.[(((((((triple7) -> rule5)) -> rule2) ((triple7) -> rule5)) -> rule3) OR ((((((triple7) -> rule5)) -> rule4) ((triple7) -> rule5)) -> rule3))] Charlie is smart.[(((triple8 ((((triple9) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple9) -> rule1)) -> rule5)) -> rule2) ((((triple9) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple9) -> rule1)) -> rule5)) -> rule4) ((((triple9) -> rule1)) -> rule5)) -> rule3))] Gary is smart.[(((triple10 ((((triple11) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple11) -> rule1)) -> rule5)) -> rule2) ((((triple11) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple11) -> rule1)) -> rule5)) -> rule4) ((((triple11) -> rule1)) -> rule5)) -> rule3))] @4: Bob is green.[(((((((((triple7) -> rule5)) -> rule2) ((triple7) -> rule5)) -> rule3)) -> rule7) OR ((((((((triple7) -> rule5)) -> rule4) ((triple7) -> rule5)) -> rule3)) -> rule7))] Charlie is green.[(((((triple8 ((((triple9) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((((((triple9) -> rule1)) -> rule5)) -> rule2) ((((triple9) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((((((triple9) -> rule1)) -> rule5)) -> rule4) ((((triple9) -> rule1)) -> rule5)) -> rule3)) -> rule7))] Gary is green.[(((((triple10 ((((triple11) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((((((triple11) -> rule1)) -> rule5)) -> rule2) ((((triple11) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((((((triple11) -> rule1)) -> rule5)) -> rule4) ((((triple11) -> rule1)) -> rule5)) -> rule3)) -> rule7))] @5: Charlie is blue.[(((triple9 ((((triple8 ((((triple9) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((triple9 ((((((((((triple9) -> rule1)) -> rule5)) -> rule2) ((((triple9) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((triple9 ((((((((((triple9) -> rule1)) -> rule5)) -> rule4) ((((triple9) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6))] Gary is blue.[(((triple11 ((((triple10 ((((triple11) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((triple11 ((((((((((triple11) -> rule1)) -> rule5)) -> rule2) ((((triple11) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((triple11 ((((((((((triple11) -> rule1)) -> rule5)) -> rule4) ((((triple11) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple4 triple2) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple4 ((((triple3 triple5) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((triple4 ((((((triple5) -> (rule2 % int4)) triple5) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((triple4 ((((((triple5) -> (rule4 % int4)) triple5) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((triple4 ((((triple3 ((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((triple4 ((((((triple5) -> (rule2 % int6)) ((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((triple4 ((((((triple5) -> (rule4 % int6)) ((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((triple4 ((((((((((triple4) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule2 % int4)) triple5) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
((triple4 ((((((((((triple4) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule4 % int4)) triple5) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
((triple4 ((((((((((triple4) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple4) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
((triple4 ((((((((((triple4) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple4) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
Anne is green.
("Anne" "is" "green" "+")
triple2
((((triple3 triple5) -> (rule3 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((triple5) -> (rule2 % int3)) triple5) -> (rule3 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple5) -> (rule4 % int3)) triple5) -> (rule3 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple3 ((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple5) -> (rule2 % int5)) ((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((triple5) -> (rule4 % int5)) ((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) triple5) -> (rule3 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule3 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple5) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple5) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
((((triple4) -> (rule1 % int2))) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
((((((triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
((((((triple11) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple11) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
triple11
Anne is rough.
("Anne" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
((triple3 triple5) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple5) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple5) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((triple3 ((((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple5) -> (rule2 % int4)) ((((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple5) -> (rule4 % int4)) ((((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((triple7) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple9) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple11) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple7) -> (rule5 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple9) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple11) -> (rule1 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((((((triple7) -> (rule5 % int3))) -> (rule2 % int2)) ((triple7) -> (rule5 % int3))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple7) -> (rule5 % int3))) -> (rule4 % int2)) ((triple7) -> (rule5 % int3))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple8 ((((triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((((triple9) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple9) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((triple9) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((((triple9) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
((triple10 ((((triple11) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((((triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((((triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((((triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
((((((((triple7) -> (rule5 % int4))) -> (rule2 % int3)) ((triple7) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple7) -> (rule5 % int4))) -> (rule4 % int3)) ((triple7) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
((((triple8 ((((triple9) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((((triple9) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple9) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((((triple9) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple9) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
((((triple10 ((((triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((((((triple11) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple11) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((((((triple11) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple11) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple9 ((((triple8 ((((triple9) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((triple9 ((((((((((triple9) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple9) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is rough.
("Charlie" "is" "rough" "+")
int6
((triple9 ((((((((((triple9) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is rough.
("Charlie" "is" "rough" "+")
int6
Gary is blue.
("Gary" "is" "blue" "+")
((triple11 ((((triple10 ((((triple11) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((triple11 ((((((((((triple11) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple11) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is rough.
("Gary" "is" "rough" "+")
int6
((triple11 ((((((((((triple11) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple11) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is rough.
("Gary" "is" "rough" "+")
int6