Anne is cold. Anne is quiet. Anne is red. Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is young. Dave is blue. Dave is cold. Dave is kind. Dave is quiet. Dave is red. Dave is young. Green, young people are quiet. If someone is kind then they are green. All kind, green people are red. All quiet, young people are cold. Cold people are kind. Green people are young. If Anne is red then Anne is cold. All kind people are young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Green, young people are quiet.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
If someone is kind then they are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
All kind, green people are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
All quiet, young people are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If Anne is red then Anne is cold.
((("Anne" "is" "red" "+")) -> ("Anne" "is" "cold" "+"))
All kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Bob is green.
True
1
proof
[(triple6 OR ((triple7) -> rule2) OR ((((triple5) -> rule5)) -> rule2) OR ((((((triple8 triple10) -> rule4)) -> rule5)) -> rule2))]
("Bob" "is" "green" "+")
triple6
((triple7) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple8 triple10) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Anne is not cold.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule7))]
("Anne" "is" "cold" "-")
triple1
((triple3) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Dave is green.
True
2
proof
[(((triple13) -> rule2) OR ((((triple12) -> rule5)) -> rule2) OR ((((((triple14 triple16) -> rule4)) -> rule5)) -> rule2))]
("Dave" "is" "green" "+")
((triple13) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((((triple14 triple16) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Anne is not kind.
False
2
inv-proof
[(((triple1) -> rule5) OR ((((triple3) -> rule7)) -> rule5))]
("Anne" "is" "kind" "-")
((triple1) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
True
3
proof
[(((((triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule5)) -> rule2)) -> rule6) OR ((((((triple3) -> rule7)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule7)) -> rule5)) -> rule2)) -> rule6))]
("Anne" "is" "young" "+")
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((((triple3) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is not young.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule5)) -> rule2)) -> rule6) OR ((((((triple3) -> rule7)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule7)) -> rule5)) -> rule2)) -> rule6))]
("Anne" "is" "young" "-")
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((((triple3) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
@0: Anne is cold.[(triple1 OR ((triple3) -> rule7))] Anne is quiet.[(triple2 OR ((((((triple1) -> rule5)) -> rule2) ((((triple1) -> rule5)) -> rule8)) -> rule1) OR ((((((triple1) -> rule5)) -> rule2) ((((((triple1) -> rule5)) -> rule2)) -> rule6)) -> rule1) OR ((((((triple1) -> rule5)) -> rule2) ((((((triple3) -> rule7)) -> rule5)) -> rule8)) -> rule1) OR ((((((((triple3) -> rule7)) -> rule5)) -> rule2) ((((triple1) -> rule5)) -> rule8)) -> rule1) OR ((((((((triple3) -> rule7)) -> rule5)) -> rule2) ((((((triple1) -> rule5)) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple3) -> rule7)) -> rule5)) -> rule2) ((((((triple3) -> rule7)) -> rule5)) -> rule8)) -> rule1) OR ((((((triple1) -> rule5)) -> rule2) ((((((((triple3) -> rule7)) -> rule5)) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple3) -> rule7)) -> rule5)) -> rule2) ((((((((triple3) -> rule7)) -> rule5)) -> rule2)) -> rule6)) -> rule1))] Anne is red.[(triple3 OR ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule3))] Bob is blue.[(triple4)] Bob is cold.[(triple5 OR ((triple8 triple10) -> rule4) OR ((triple8 ((triple6) -> rule6)) -> rule4) OR ((triple8 ((triple7) -> rule8)) -> rule4) OR ((((triple6 triple10) -> rule1) triple10) -> rule4) OR ((((triple6 triple10) -> rule1) ((triple6) -> rule6)) -> rule4) OR ((((triple6 triple10) -> rule1) ((triple7) -> rule8)) -> rule4) OR ((triple8 ((((triple7) -> rule2)) -> rule6)) -> rule4) OR ((((triple6 ((triple6) -> rule6)) -> rule1) triple10) -> rule4) OR ((((triple6 ((triple7) -> rule8)) -> rule1) triple10) -> rule4) OR ((((((triple7) -> rule2) triple10) -> rule1) triple10) -> rule4) OR ((((triple6 triple10) -> rule1) ((((triple7) -> rule2)) -> rule6)) -> rule4) OR ((((triple6 ((triple6) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule4) OR ((((triple6 ((triple6) -> rule6)) -> rule1) ((triple7) -> rule8)) -> rule4) OR ((((triple6 ((triple7) -> rule8)) -> rule1) ((triple6) -> rule6)) -> rule4) OR ((((triple6 ((triple7) -> rule8)) -> rule1) ((triple7) -> rule8)) -> rule4) OR ((((((triple7) -> rule2) triple10) -> rule1) ((triple6) -> rule6)) -> rule4) OR ((((((triple7) -> rule2) triple10) -> rule1) ((triple7) -> rule8)) -> rule4) OR ((((((triple7) -> rule2) ((triple6) -> rule6)) -> rule1) triple10) -> rule4) OR ((((((triple7) -> rule2) ((triple7) -> rule8)) -> rule1) triple10) -> rule4) OR ((((triple6 ((triple6) -> rule6)) -> rule1) ((((triple7) -> rule2)) -> rule6)) -> rule4) OR ((((triple6 ((triple7) -> rule8)) -> rule1) ((((triple7) -> rule2)) -> rule6)) -> rule4) OR ((((((triple7) -> rule2) triple10) -> rule1) ((((triple7) -> rule2)) -> rule6)) -> rule4) OR ((((((triple7) -> rule2) ((triple6) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule4) OR ((((((triple7) -> rule2) ((triple6) -> rule6)) -> rule1) ((triple7) -> rule8)) -> rule4) OR ((((((triple7) -> rule2) ((triple7) -> rule8)) -> rule1) ((triple6) -> rule6)) -> rule4) OR ((((((triple7) -> rule2) ((triple7) -> rule8)) -> rule1) ((triple7) -> rule8)) -> rule4) OR ((((((triple7) -> rule2) ((triple6) -> rule6)) -> rule1) ((((triple7) -> rule2)) -> rule6)) -> rule4) OR ((((((triple7) -> rule2) ((triple7) -> rule8)) -> rule1) ((((triple7) -> rule2)) -> rule6)) -> rule4) OR ((((triple6 ((((triple7) -> rule2)) -> rule6)) -> rule1) triple10) -> rule4) OR ((((triple6 ((((triple7) -> rule2)) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule4) OR ((((triple6 ((((triple7) -> rule2)) -> rule6)) -> rule1) ((triple7) -> rule8)) -> rule4) OR ((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule1) triple10) -> rule4) OR ((((triple6 ((((triple7) -> rule2)) -> rule6)) -> rule1) ((((triple7) -> rule2)) -> rule6)) -> rule4) OR ((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule4) OR ((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule1) ((triple7) -> rule8)) -> rule4) OR ((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule1) ((((triple7) -> rule2)) -> rule6)) -> rule4))] Bob is green.[(triple6 OR ((triple7) -> rule2) OR ((((triple5) -> rule5)) -> rule2) OR ((((((triple8 triple10) -> rule4)) -> rule5)) -> rule2))] Bob is kind.[(triple7 OR ((triple5) -> rule5) OR ((((triple8 triple10) -> rule4)) -> rule5) OR ((((triple8 ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((((triple6 triple10) -> rule1) triple10) -> rule4)) -> rule5) OR ((((((triple6 triple10) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((((triple6 ((triple6) -> rule6)) -> rule1) triple10) -> rule4)) -> rule5) OR ((((((triple6 ((triple6) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule5))] Bob is quiet.[(triple8 OR ((triple6 triple10) -> rule1) OR ((triple6 ((triple6) -> rule6)) -> rule1) OR ((triple6 ((triple7) -> rule8)) -> rule1) OR ((((triple7) -> rule2) triple10) -> rule1) OR ((((triple7) -> rule2) ((triple6) -> rule6)) -> rule1) OR ((((triple7) -> rule2) ((triple7) -> rule8)) -> rule1) OR ((triple6 ((((triple5) -> rule5)) -> rule8)) -> rule1) OR ((triple6 ((((triple7) -> rule2)) -> rule6)) -> rule1) OR ((((((triple5) -> rule5)) -> rule2) triple10) -> rule1) OR ((((triple7) -> rule2) ((((triple5) -> rule5)) -> rule8)) -> rule1) OR ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule1) OR ((((((triple5) -> rule5)) -> rule2) ((triple6) -> rule6)) -> rule1) OR ((((((triple5) -> rule5)) -> rule2) ((triple7) -> rule8)) -> rule1) OR ((((((triple5) -> rule5)) -> rule2) ((((triple5) -> rule5)) -> rule8)) -> rule1) OR ((((((triple5) -> rule5)) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule1) OR ((triple6 ((((((triple5) -> rule5)) -> rule2)) -> rule6)) -> rule1) OR ((((triple7) -> rule2) ((((((triple5) -> rule5)) -> rule2)) -> rule6)) -> rule1) OR ((((((triple5) -> rule5)) -> rule2) ((((((triple5) -> rule5)) -> rule2)) -> rule6)) -> rule1))] Bob is red.[(triple9 OR ((triple7 triple6) -> rule3) OR ((triple7 ((triple7) -> rule2)) -> rule3) OR ((((triple5) -> rule5) triple6) -> rule3) OR ((((triple5) -> rule5) ((triple7) -> rule2)) -> rule3) OR ((triple7 ((((triple5) -> rule5)) -> rule2)) -> rule3) OR ((((((triple8 triple10) -> rule4)) -> rule5) triple6) -> rule3) OR ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule2)) -> rule3) OR ((((((triple8 triple10) -> rule4)) -> rule5) ((triple7) -> rule2)) -> rule3) OR ((((((triple8 triple10) -> rule4)) -> rule5) ((((triple5) -> rule5)) -> rule2)) -> rule3) OR ((triple7 ((((((triple8 triple10) -> rule4)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple8 ((triple6) -> rule6)) -> rule4)) -> rule5) triple6) -> rule3) OR ((((((((triple6 triple10) -> rule1) triple10) -> rule4)) -> rule5) triple6) -> rule3) OR ((((triple5) -> rule5) ((((((triple8 triple10) -> rule4)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple8 ((triple6) -> rule6)) -> rule4)) -> rule5) ((triple7) -> rule2)) -> rule3) OR ((((((((triple6 triple10) -> rule1) triple10) -> rule4)) -> rule5) ((triple7) -> rule2)) -> rule3) OR ((((((((triple6 triple10) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule5) triple6) -> rule3) OR ((((((triple8 triple10) -> rule4)) -> rule5) ((((((triple8 triple10) -> rule4)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple8 ((triple6) -> rule6)) -> rule4)) -> rule5) ((((triple5) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple6 triple10) -> rule1) triple10) -> rule4)) -> rule5) ((((triple5) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple6 triple10) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule5) ((triple7) -> rule2)) -> rule3) OR ((((((triple8 ((triple6) -> rule6)) -> rule4)) -> rule5) ((((((triple8 triple10) -> rule4)) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple6 triple10) -> rule1) triple10) -> rule4)) -> rule5) ((((((triple8 triple10) -> rule4)) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple6 triple10) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule5) ((((triple5) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple6 triple10) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule5) ((((((triple8 triple10) -> rule4)) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple6 ((triple6) -> rule6)) -> rule1) triple10) -> rule4)) -> rule5) triple6) -> rule3) OR ((((((((triple6 ((triple6) -> rule6)) -> rule1) triple10) -> rule4)) -> rule5) ((triple7) -> rule2)) -> rule3) OR ((((((((triple6 ((triple6) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule5) triple6) -> rule3) OR ((((((((triple6 ((triple6) -> rule6)) -> rule1) triple10) -> rule4)) -> rule5) ((((triple5) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple6 ((triple6) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule5) ((triple7) -> rule2)) -> rule3) OR ((((((((triple6 ((triple6) -> rule6)) -> rule1) triple10) -> rule4)) -> rule5) ((((((triple8 triple10) -> rule4)) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple6 ((triple6) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule5) ((((triple5) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple6 ((triple6) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule4)) -> rule5) ((((((triple8 triple10) -> rule4)) -> rule5)) -> rule2)) -> rule3))] Bob is young.[(triple10 OR ((triple6) -> rule6) OR ((triple7) -> rule8) OR ((((triple5) -> rule5)) -> rule8) OR ((((triple7) -> rule2)) -> rule6) OR ((((((triple5) -> rule5)) -> rule2)) -> rule6))] Dave is blue.[(triple11)] Dave is cold.[(triple12 OR ((triple14 triple16) -> rule4) OR ((triple14 ((triple13) -> rule8)) -> rule4) OR ((triple14 ((((triple13) -> rule2)) -> rule6)) -> rule4) OR ((((((triple13) -> rule2) triple16) -> rule1) triple16) -> rule4) OR ((((((triple13) -> rule2) triple16) -> rule1) ((triple13) -> rule8)) -> rule4) OR ((((((triple13) -> rule2) ((triple13) -> rule8)) -> rule1) triple16) -> rule4) OR ((((((triple13) -> rule2) triple16) -> rule1) ((((triple13) -> rule2)) -> rule6)) -> rule4) OR ((((((triple13) -> rule2) ((triple13) -> rule8)) -> rule1) ((triple13) -> rule8)) -> rule4) OR ((((((triple13) -> rule2) ((triple13) -> rule8)) -> rule1) ((((triple13) -> rule2)) -> rule6)) -> rule4) OR ((((((triple13) -> rule2) ((((triple13) -> rule2)) -> rule6)) -> rule1) triple16) -> rule4) OR ((((((triple13) -> rule2) ((((triple13) -> rule2)) -> rule6)) -> rule1) ((triple13) -> rule8)) -> rule4) OR ((((((triple13) -> rule2) ((((triple13) -> rule2)) -> rule6)) -> rule1) ((((triple13) -> rule2)) -> rule6)) -> rule4))] Dave is kind.[(triple13 OR ((triple12) -> rule5) OR ((((triple14 triple16) -> rule4)) -> rule5))] Dave is quiet.[(triple14 OR ((((triple13) -> rule2) triple16) -> rule1) OR ((((triple13) -> rule2) ((triple13) -> rule8)) -> rule1) OR ((((((triple12) -> rule5)) -> rule2) triple16) -> rule1) OR ((((triple13) -> rule2) ((((triple12) -> rule5)) -> rule8)) -> rule1) OR ((((triple13) -> rule2) ((((triple13) -> rule2)) -> rule6)) -> rule1) OR ((((((triple12) -> rule5)) -> rule2) ((triple13) -> rule8)) -> rule1) OR ((((((triple12) -> rule5)) -> rule2) ((((triple12) -> rule5)) -> rule8)) -> rule1) OR ((((((triple12) -> rule5)) -> rule2) ((((triple13) -> rule2)) -> rule6)) -> rule1) OR ((((triple13) -> rule2) ((((((triple12) -> rule5)) -> rule2)) -> rule6)) -> rule1) OR ((((((triple12) -> rule5)) -> rule2) ((((((triple12) -> rule5)) -> rule2)) -> rule6)) -> rule1))] Dave is red.[(triple15 OR ((triple13 ((triple13) -> rule2)) -> rule3) OR ((((triple12) -> rule5) ((triple13) -> rule2)) -> rule3) OR ((triple13 ((((triple12) -> rule5)) -> rule2)) -> rule3) OR ((((triple12) -> rule5) ((((triple12) -> rule5)) -> rule2)) -> rule3) OR ((((((triple14 triple16) -> rule4)) -> rule5) ((triple13) -> rule2)) -> rule3) OR ((((((triple14 triple16) -> rule4)) -> rule5) ((((triple12) -> rule5)) -> rule2)) -> rule3) OR ((triple13 ((((((triple14 triple16) -> rule4)) -> rule5)) -> rule2)) -> rule3) OR ((((triple12) -> rule5) ((((((triple14 triple16) -> rule4)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple14 triple16) -> rule4)) -> rule5) ((((((triple14 triple16) -> rule4)) -> rule5)) -> rule2)) -> rule3))] Dave is young.[(triple16 OR ((triple13) -> rule8) OR ((((triple12) -> rule5)) -> rule8) OR ((((triple13) -> rule2)) -> rule6) OR ((((((triple12) -> rule5)) -> rule2)) -> rule6))] @1: Anne is kind.[(((triple1) -> rule5) OR ((((triple3) -> rule7)) -> rule5))] Dave is green.[(((triple13) -> rule2) OR ((((triple12) -> rule5)) -> rule2) OR ((((((triple14 triple16) -> rule4)) -> rule5)) -> rule2))] @2: Anne is green.[(((((triple1) -> rule5)) -> rule2) OR ((((((triple3) -> rule7)) -> rule5)) -> rule2))] Anne is young.[(((((triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule5)) -> rule2)) -> rule6) OR ((((((triple3) -> rule7)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule7)) -> rule5)) -> rule2)) -> rule6))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple3) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
((((((triple1) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple1) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple1) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple1) -> (rule5 % int5))) -> (rule2 % int4)) ((((((triple3) -> (rule7 % int3))) -> (rule5 % int5))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple3) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple1) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple3) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple3) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((triple1) -> (rule5 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule7 % int3))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple3) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((((((triple3) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
triple3
((((triple1) -> (rule5 % int3)) ((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
((triple8 triple10) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple8 ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((triple8 ((triple7) -> (rule8 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple6 triple10) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple6 triple10) -> (rule1 % int3)) ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple6 triple10) -> (rule1 % int3)) ((triple7) -> (rule8 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple8 ((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple6 ((triple6) -> (rule6 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple6 ((triple7) -> (rule8 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple7) -> (rule2 % int3)) triple10) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple6 triple10) -> (rule1 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple6 ((triple6) -> (rule6 % int3))) -> (rule1 % int2)) ((triple6) -> (rule6 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple6 ((triple6) -> (rule6 % int3))) -> (rule1 % int2)) ((triple7) -> (rule8 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple6 ((triple7) -> (rule8 % int3))) -> (rule1 % int2)) ((triple6) -> (rule6 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple6 ((triple7) -> (rule8 % int3))) -> (rule1 % int2)) ((triple7) -> (rule8 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple7) -> (rule2 % int4)) triple10) -> (rule1 % int3)) ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple7) -> (rule2 % int4)) triple10) -> (rule1 % int3)) ((triple7) -> (rule8 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple7) -> (rule2 % int4)) ((triple6) -> (rule6 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple6 ((triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule2 % int2))) -> (rule6 % int4))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple6 ((triple7) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule2 % int2))) -> (rule6 % int4))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple7) -> (rule2 % int4)) triple10) -> (rule1 % int3)) ((((triple7) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple7) -> (rule2 % int4)) ((triple6) -> (rule6 % int3))) -> (rule1 % int2)) ((triple6) -> (rule6 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple7) -> (rule2 % int4)) ((triple6) -> (rule6 % int3))) -> (rule1 % int2)) ((triple7) -> (rule8 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int3))) -> (rule1 % int2)) ((triple6) -> (rule6 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int3))) -> (rule1 % int2)) ((triple7) -> (rule8 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple7) -> (rule2 % int4)) ((triple6) -> (rule6 % int3))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple6 ((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple6 ((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple6) -> (rule6 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple6 ((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple7) -> (rule8 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple10) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple6 ((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple6) -> (rule6 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple7) -> (rule8 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
triple6
((triple7) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple8 triple10) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
triple7
((triple5) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple8 triple10) -> (rule4 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple8 ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple6 triple10) -> (rule1 % int3)) triple10) -> (rule4 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple6 triple10) -> (rule1 % int4)) ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple6 ((triple6) -> (rule6 % int4))) -> (rule1 % int3)) triple10) -> (rule4 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple6 ((triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((triple6) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple8
((triple6 triple10) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple6 ((triple6) -> (rule6 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((triple6 ((triple7) -> (rule8 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple7) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple7) -> (rule2 % int3)) ((triple6) -> (rule6 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple7) -> (rule2 % int3)) ((triple7) -> (rule8 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((triple6 ((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple6 ((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple7) -> (rule2 % int4)) ((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((triple6) -> (rule6 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((triple7) -> (rule8 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple5) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple6 ((((((triple5) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple7) -> (rule2 % int4)) ((((((triple5) -> (rule5 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple5) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
triple9
((triple7 triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple7 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple5) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple5) -> (rule5 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple7 ((((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple8 triple10) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple8 triple10) -> (rule4 % int4))) -> (rule5 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple8 triple10) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((triple7 ((((((triple8 triple10) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple8 ((triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple6 triple10) -> (rule1 % int4)) triple10) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple5) -> (rule5 % int4)) ((((((triple8 triple10) -> (rule4 % int3))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple8 ((triple6) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple6 triple10) -> (rule1 % int5)) triple10) -> (rule4 % int4))) -> (rule5 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple6 triple10) -> (rule1 % int5)) ((triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple8 triple10) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple8 triple10) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple8 ((triple6) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple6 triple10) -> (rule1 % int5)) triple10) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple6 triple10) -> (rule1 % int6)) ((triple6) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((triple8 ((triple6) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple8 triple10) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple6 triple10) -> (rule1 % int5)) triple10) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple8 triple10) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple6 triple10) -> (rule1 % int6)) ((triple6) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((((triple6 triple10) -> (rule1 % int6)) ((triple6) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple8 triple10) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule1 % int4)) triple10) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple6 ((triple6) -> (rule6 % int6))) -> (rule1 % int5)) triple10) -> (rule4 % int4))) -> (rule5 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple6 ((triple6) -> (rule6 % int5))) -> (rule1 % int4)) ((triple6) -> (rule6 % int5))) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple6 ((triple6) -> (rule6 % int6))) -> (rule1 % int5)) triple10) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple6 ((triple6) -> (rule6 % int6))) -> (rule1 % int5)) ((triple6) -> (rule6 % int6))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple6 ((triple6) -> (rule6 % int6))) -> (rule1 % int5)) triple10) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple8 triple10) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple6 ((triple6) -> (rule6 % int6))) -> (rule1 % int5)) ((triple6) -> (rule6 % int6))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple6 ((triple6) -> (rule6 % int6))) -> (rule1 % int5)) ((triple6) -> (rule6 % int6))) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple8 triple10) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
Bob is young.
("Bob" "is" "young" "+")
triple10
((triple6) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple7) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
triple11
Dave is cold.
("Dave" "is" "cold" "+")
triple12
((triple14 triple16) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple14 ((triple13) -> (rule8 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((triple14 ((((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple13) -> (rule2 % int3)) triple16) -> (rule1 % int2)) triple16) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple13) -> (rule2 % int4)) triple16) -> (rule1 % int3)) ((triple13) -> (rule8 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple13) -> (rule2 % int4)) ((triple13) -> (rule8 % int3))) -> (rule1 % int2)) triple16) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple13) -> (rule2 % int4)) triple16) -> (rule1 % int3)) ((((triple13) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple13) -> (rule2 % int4)) ((triple13) -> (rule8 % int3))) -> (rule1 % int2)) ((triple13) -> (rule8 % int3))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple13) -> (rule2 % int4)) ((triple13) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple13) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple13) -> (rule2 % int4)) ((((triple13) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple16) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple13) -> (rule2 % int4)) ((((triple13) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple13) -> (rule8 % int3))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple13) -> (rule2 % int4)) ((((triple13) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((((triple13) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
triple13
((triple12) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple14 triple16) -> (rule4 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple14
((((triple13) -> (rule2 % int2)) triple16) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple13) -> (rule2 % int3)) ((triple13) -> (rule8 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple12) -> (rule5 % int3))) -> (rule2 % int2)) triple16) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple13) -> (rule2 % int4)) ((((triple12) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple13) -> (rule2 % int3)) ((((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple12) -> (rule5 % int4))) -> (rule2 % int3)) ((triple13) -> (rule8 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple12) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple12) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple12) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple13) -> (rule2 % int4)) ((((((triple12) -> (rule5 % int3))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple12) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple12) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
triple15
((triple13 ((triple13) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple12) -> (rule5 % int3)) ((triple13) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple13 ((((triple12) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple12) -> (rule5 % int3)) ((((triple12) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple14 triple16) -> (rule4 % int4))) -> (rule5 % int3)) ((triple13) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((triple14 triple16) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple12) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((triple13 ((((((triple14 triple16) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple12) -> (rule5 % int4)) ((((((triple14 triple16) -> (rule4 % int3))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple14 triple16) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple14 triple16) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
triple16
((triple13) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple13) -> (rule2 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((((triple12) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((triple13) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((((triple14 triple16) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
((((triple1) -> (rule5 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((((triple3) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4