Anne is cold. Anne is green. Bob is green. Dave is cold. Dave is green. Dave is kind. Dave is red. Dave is smart. Dave is white. Fiona is green. Fiona is round. Fiona is smart. If something is white then it is red. If something is kind and red then it is cold. All red, cold things are white. If something is green then it is white. Red things are smart. White things are round. If something is smart and round then it is kind. Smart things are red.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is white then it is red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
If something is kind and red then it is cold.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
All red, cold things are white.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If something is green then it is white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Red things are smart.
((("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
White things are round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
If something is smart and round then it is kind.
((("something" "is" "smart" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Smart things are red.
((("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
Anne is green.
True
1
proof
[(triple2)]
("Anne" "is" "green" "+")
triple2
Bob is not green.
False
1
inv-proof
[(triple3)]
("Bob" "is" "green" "-")
triple3
Dave is round.
True
2
proof
[(((triple9) -> rule6) OR ((((triple5) -> rule4)) -> rule6) OR ((((triple7 triple4) -> rule3)) -> rule6) OR ((((triple7 ((triple6 triple7) -> rule2)) -> rule3)) -> rule6) OR ((((((triple8) -> rule8) triple4) -> rule3)) -> rule6) OR ((((((triple8) -> rule8) ((triple6 triple7) -> rule2)) -> rule3)) -> rule6) OR ((((triple7 ((triple6 ((triple8) -> rule8)) -> rule2)) -> rule3)) -> rule6) OR ((((((triple8) -> rule8) ((triple6 ((triple8) -> rule8)) -> rule2)) -> rule3)) -> rule6))]
("Dave" "is" "round" "+")
((triple9) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple7 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple7 ((triple6 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((triple8) -> (rule8 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple8) -> (rule8 % int4)) ((triple6 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple7 ((triple6 ((triple8) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple8) -> (rule8 % int4)) ((triple6 ((triple8) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is not round.
False
2
inv-proof
[(((triple9) -> rule6) OR ((((triple5) -> rule4)) -> rule6) OR ((((triple7 triple4) -> rule3)) -> rule6) OR ((((triple7 ((triple6 triple7) -> rule2)) -> rule3)) -> rule6) OR ((((((triple8) -> rule8) triple4) -> rule3)) -> rule6) OR ((((((triple8) -> rule8) ((triple6 triple7) -> rule2)) -> rule3)) -> rule6) OR ((((triple7 ((triple6 ((triple8) -> rule8)) -> rule2)) -> rule3)) -> rule6) OR ((((((triple8) -> rule8) ((triple6 ((triple8) -> rule8)) -> rule2)) -> rule3)) -> rule6))]
("Dave" "is" "round" "-")
((triple9) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple7 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple7 ((triple6 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((triple8) -> (rule8 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple8) -> (rule8 % int4)) ((triple6 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple7 ((triple6 ((triple8) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple8) -> (rule8 % int4)) ((triple6 ((triple8) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Anne is red.
True
3
proof
[(((((triple2) -> rule4)) -> rule1))]
("Anne" "is" "red" "+")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not round.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule6))]
("Anne" "is" "round" "-")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Bob is smart.
True
4
proof
[(((((((triple3) -> rule4)) -> rule1)) -> rule5))]
("Bob" "is" "smart" "+")
((((((triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is not smart.
False
4
inv-proof
[(((((((triple3) -> rule4)) -> rule1)) -> rule5))]
("Bob" "is" "smart" "-")
((((((triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is kind.
True
8
proof
[(((((((((triple3) -> rule4)) -> rule1)) -> rule5) ((((triple3) -> rule4)) -> rule6)) -> rule7))]
("Bob" "is" "kind" "+")
((((((((triple3) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is not kind.
False
8
inv-proof
[(((((((((triple3) -> rule4)) -> rule1)) -> rule5) ((((triple3) -> rule4)) -> rule6)) -> rule7))]
("Bob" "is" "kind" "-")
((((((((triple3) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is cold.
True
12
proof
[(((((((((((triple3) -> rule4)) -> rule1)) -> rule5) ((((triple3) -> rule4)) -> rule6)) -> rule7) ((((triple3) -> rule4)) -> rule1)) -> rule2))]
("Bob" "is" "cold" "+")
((((((((((triple3) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule4 % int6))) -> (rule6 % int3))) -> (rule7 % int2)) ((((triple3) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
Bob is not cold.
False
12
inv-proof
[(((((((((((triple3) -> rule4)) -> rule1)) -> rule5) ((((triple3) -> rule4)) -> rule6)) -> rule7) ((((triple3) -> rule4)) -> rule1)) -> rule2))]
("Bob" "is" "cold" "-")
((((((((((triple3) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule4 % int6))) -> (rule6 % int3))) -> (rule7 % int2)) ((((triple3) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
@0: Anne is cold.[(triple1 OR ((((((((((triple2) -> rule4)) -> rule1)) -> rule5) ((((triple2) -> rule4)) -> rule6)) -> rule7) ((((triple2) -> rule4)) -> rule1)) -> rule2))] Anne is green.[(triple2)] Bob is green.[(triple3)] Dave is cold.[(triple4 OR ((triple6 triple7) -> rule2) OR ((triple6 ((triple8) -> rule8)) -> rule2) OR ((triple6 ((triple9) -> rule1)) -> rule2) OR ((triple6 ((((triple5) -> rule4)) -> rule1)) -> rule2) OR ((((triple8 ((triple9) -> rule6)) -> rule7) triple7) -> rule2) OR ((((triple8 ((triple9) -> rule6)) -> rule7) ((triple8) -> rule8)) -> rule2) OR ((((triple8 ((triple9) -> rule6)) -> rule7) ((triple9) -> rule1)) -> rule2) OR ((((((triple7) -> rule5) ((triple9) -> rule6)) -> rule7) triple7) -> rule2) OR ((((triple8 ((triple9) -> rule6)) -> rule7) ((((triple5) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7) -> rule5) ((triple9) -> rule6)) -> rule7) ((triple8) -> rule8)) -> rule2) OR ((((((triple7) -> rule5) ((triple9) -> rule6)) -> rule7) ((triple9) -> rule1)) -> rule2) OR ((((((triple7) -> rule5) ((triple9) -> rule6)) -> rule7) ((((triple5) -> rule4)) -> rule1)) -> rule2) OR ((((triple8 ((((triple5) -> rule4)) -> rule6)) -> rule7) triple7) -> rule2) OR ((((triple8 ((((triple5) -> rule4)) -> rule6)) -> rule7) ((triple8) -> rule8)) -> rule2) OR ((((triple8 ((((triple5) -> rule4)) -> rule6)) -> rule7) ((triple9) -> rule1)) -> rule2) OR ((((((triple7) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule7) triple7) -> rule2) OR ((((((((triple9) -> rule1)) -> rule5) ((triple9) -> rule6)) -> rule7) triple7) -> rule2) OR ((((triple8 ((((triple5) -> rule4)) -> rule6)) -> rule7) ((((triple5) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule7) ((triple8) -> rule8)) -> rule2) OR ((((((triple7) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule7) ((triple9) -> rule1)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule5) ((triple9) -> rule6)) -> rule7) ((triple8) -> rule8)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule5) ((triple9) -> rule6)) -> rule7) ((triple9) -> rule1)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule7) triple7) -> rule2) OR ((((((triple7) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule7) ((((triple5) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule5) ((triple9) -> rule6)) -> rule7) ((((triple5) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule7) ((triple8) -> rule8)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule7) ((triple9) -> rule1)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule7) ((((triple5) -> rule4)) -> rule1)) -> rule2) OR ((((((((((triple5) -> rule4)) -> rule1)) -> rule5) ((triple9) -> rule6)) -> rule7) triple7) -> rule2) OR ((((((((((triple5) -> rule4)) -> rule1)) -> rule5) ((triple9) -> rule6)) -> rule7) ((triple8) -> rule8)) -> rule2) OR ((((((((((triple5) -> rule4)) -> rule1)) -> rule5) ((triple9) -> rule6)) -> rule7) ((triple9) -> rule1)) -> rule2) OR ((((((((((triple5) -> rule4)) -> rule1)) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule7) triple7) -> rule2) OR ((((((((((triple5) -> rule4)) -> rule1)) -> rule5) ((triple9) -> rule6)) -> rule7) ((((triple5) -> rule4)) -> rule1)) -> rule2) OR ((((((((((triple5) -> rule4)) -> rule1)) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule7) ((triple8) -> rule8)) -> rule2) OR ((((((((((triple5) -> rule4)) -> rule1)) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule7) ((triple9) -> rule1)) -> rule2) OR ((((((((((triple5) -> rule4)) -> rule1)) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule7) ((((triple5) -> rule4)) -> rule1)) -> rule2))] Dave is green.[(triple5)] Dave is kind.[(triple6 OR ((triple8 ((triple9) -> rule6)) -> rule7) OR ((((triple7) -> rule5) ((triple9) -> rule6)) -> rule7) OR ((triple8 ((((triple5) -> rule4)) -> rule6)) -> rule7) OR ((triple8 ((((triple7 triple4) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule7) OR ((((triple7) -> rule5) ((((triple7 triple4) -> rule3)) -> rule6)) -> rule7) OR ((((((triple9) -> rule1)) -> rule5) ((triple9) -> rule6)) -> rule7) OR ((((((triple9) -> rule1)) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule7) OR ((((((triple9) -> rule1)) -> rule5) ((((triple7 triple4) -> rule3)) -> rule6)) -> rule7) OR ((triple8 ((((((triple8) -> rule8) triple4) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule5) ((((((triple8) -> rule8) triple4) -> rule3)) -> rule6)) -> rule7) OR ((((((((triple5) -> rule4)) -> rule1)) -> rule5) ((triple9) -> rule6)) -> rule7) OR ((((((triple9) -> rule1)) -> rule5) ((((((triple8) -> rule8) triple4) -> rule3)) -> rule6)) -> rule7) OR ((((((((triple5) -> rule4)) -> rule1)) -> rule5) ((((triple5) -> rule4)) -> rule6)) -> rule7) OR ((((((((triple5) -> rule4)) -> rule1)) -> rule5) ((((triple7 triple4) -> rule3)) -> rule6)) -> rule7) OR ((((((((triple5) -> rule4)) -> rule1)) -> rule5) ((((((triple8) -> rule8) triple4) -> rule3)) -> rule6)) -> rule7))] Dave is red.[(triple7 OR ((triple8) -> rule8) OR ((triple9) -> rule1) OR ((((triple5) -> rule4)) -> rule1))] Dave is smart.[(triple8 OR ((triple7) -> rule5) OR ((((triple9) -> rule1)) -> rule5) OR ((((((triple5) -> rule4)) -> rule1)) -> rule5))] Dave is white.[(triple9 OR ((triple5) -> rule4) OR ((triple7 triple4) -> rule3) OR ((triple7 ((triple6 triple7) -> rule2)) -> rule3) OR ((((triple8) -> rule8) triple4) -> rule3) OR ((((triple8) -> rule8) ((triple6 triple7) -> rule2)) -> rule3) OR ((triple7 ((triple6 ((triple8) -> rule8)) -> rule2)) -> rule3) OR ((((triple8) -> rule8) ((triple6 ((triple8) -> rule8)) -> rule2)) -> rule3))] Fiona is green.[(triple10)] Fiona is round.[(triple11 OR ((((triple10) -> rule4)) -> rule6))] Fiona is smart.[(triple12 OR ((((((triple10) -> rule4)) -> rule1)) -> rule5))] @1: Anne is white.[(((triple2) -> rule4))] Bob is white.[(((triple3) -> rule4))] Dave is round.[(((triple9) -> rule6) OR ((((triple5) -> rule4)) -> rule6) OR ((((triple7 triple4) -> rule3)) -> rule6) OR ((((triple7 ((triple6 triple7) -> rule2)) -> rule3)) -> rule6) OR ((((((triple8) -> rule8) triple4) -> rule3)) -> rule6) OR ((((((triple8) -> rule8) ((triple6 triple7) -> rule2)) -> rule3)) -> rule6) OR ((((triple7 ((triple6 ((triple8) -> rule8)) -> rule2)) -> rule3)) -> rule6) OR ((((((triple8) -> rule8) ((triple6 ((triple8) -> rule8)) -> rule2)) -> rule3)) -> rule6))] Fiona is kind.[(((triple12 triple11) -> rule7) OR ((triple12 ((((triple10) -> rule4)) -> rule6)) -> rule7) OR ((((((((triple10) -> rule4)) -> rule1)) -> rule5) triple11) -> rule7) OR ((((((((triple10) -> rule4)) -> rule1)) -> rule5) ((((triple10) -> rule4)) -> rule6)) -> rule7))] Fiona is red.[(((triple12) -> rule8) OR ((((triple10) -> rule4)) -> rule1))] Fiona is white.[(((triple10) -> rule4) OR ((((triple12) -> rule8) ((((triple12 triple11) -> rule7) ((triple12) -> rule8)) -> rule2)) -> rule3))] @2: Anne is red.[(((((triple2) -> rule4)) -> rule1))] Anne is round.[(((((triple2) -> rule4)) -> rule6))] Bob is red.[(((((triple3) -> rule4)) -> rule1))] Bob is round.[(((((triple3) -> rule4)) -> rule6))] Fiona is cold.[(((((triple12 triple11) -> rule7) ((triple12) -> rule8)) -> rule2) OR ((((triple12 triple11) -> rule7) ((((triple10) -> rule4)) -> rule1)) -> rule2) OR ((((triple12 ((((triple10) -> rule4)) -> rule6)) -> rule7) ((triple12) -> rule8)) -> rule2) OR ((((triple12 ((((triple10) -> rule4)) -> rule6)) -> rule7) ((((triple10) -> rule4)) -> rule1)) -> rule2) OR ((((((((((triple10) -> rule4)) -> rule1)) -> rule5) triple11) -> rule7) ((triple12) -> rule8)) -> rule2) OR ((((((((((triple10) -> rule4)) -> rule1)) -> rule5) triple11) -> rule7) ((((triple10) -> rule4)) -> rule1)) -> rule2) OR ((((((((((triple10) -> rule4)) -> rule1)) -> rule5) ((((triple10) -> rule4)) -> rule6)) -> rule7) ((triple12) -> rule8)) -> rule2) OR ((((((((((triple10) -> rule4)) -> rule1)) -> rule5) ((((triple10) -> rule4)) -> rule6)) -> rule7) ((((triple10) -> rule4)) -> rule1)) -> rule2))] @3: Anne is smart.[(((((((triple2) -> rule4)) -> rule1)) -> rule5))] Bob is smart.[(((((((triple3) -> rule4)) -> rule1)) -> rule5))] @4: Anne is kind.[(((((((((triple2) -> rule4)) -> rule1)) -> rule5) ((((triple2) -> rule4)) -> rule6)) -> rule7))] Bob is kind.[(((((((((triple3) -> rule4)) -> rule1)) -> rule5) ((((triple3) -> rule4)) -> rule6)) -> rule7))] @5: Bob is cold.[(((((((((((triple3) -> rule4)) -> rule1)) -> rule5) ((((triple3) -> rule4)) -> rule6)) -> rule7) ((((triple3) -> rule4)) -> rule1)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((((((((((triple2) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple2) -> (rule4 % int6))) -> (rule6 % int3))) -> (rule7 % int2)) ((((triple2) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
int6
Anne is green.
("Anne" "is" "green" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
((triple6 triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple6 ((triple8) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((triple6 ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((triple6 ((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple8 ((triple9) -> (rule6 % int3))) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple8 ((triple9) -> (rule6 % int4))) -> (rule7 % int3)) ((triple8) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple8 ((triple9) -> (rule6 % int4))) -> (rule7 % int3)) ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple7) -> (rule5 % int4)) ((triple9) -> (rule6 % int3))) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple8 ((triple9) -> (rule6 % int5))) -> (rule7 % int4)) ((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((triple7) -> (rule5 % int5)) ((triple9) -> (rule6 % int4))) -> (rule7 % int3)) ((triple8) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple7) -> (rule5 % int5)) ((triple9) -> (rule6 % int4))) -> (rule7 % int3)) ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple7) -> (rule5 % int6)) ((triple9) -> (rule6 % int5))) -> (rule7 % int4)) ((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((triple8 ((((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple8 ((((triple5) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule7 % int3)) ((triple8) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple8 ((((triple5) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule7 % int3)) ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((triple7) -> (rule5 % int5)) ((((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((((triple9) -> (rule1 % int5))) -> (rule5 % int4)) ((triple9) -> (rule6 % int3))) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple8 ((((triple5) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((triple7) -> (rule5 % int6)) ((((triple5) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule7 % int3)) ((triple8) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((((triple7) -> (rule5 % int6)) ((((triple5) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule7 % int3)) ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((((((triple9) -> (rule1 % int5))) -> (rule5 % int4)) ((triple9) -> (rule6 % int3))) -> (rule7 % int2)) ((triple8) -> (rule8 % int5))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple9) -> (rule1 % int5))) -> (rule5 % int4)) ((triple9) -> (rule6 % int3))) -> (rule7 % int2)) ((triple9) -> (rule1 % int5))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple9) -> (rule1 % int6))) -> (rule5 % int5)) ((((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
((((((triple7) -> (rule5 % int6)) ((((triple5) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((((((triple9) -> (rule1 % int6))) -> (rule5 % int5)) ((triple9) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule4 % int2))) -> (rule1 % int6))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
((((((((triple9) -> (rule1 % int6))) -> (rule5 % int5)) ((((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) ((triple8) -> (rule8 % int6))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
((((((((triple9) -> (rule1 % int6))) -> (rule5 % int5)) ((((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) ((triple9) -> (rule1 % int6))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
((((((((triple9) -> (rule1 % int6))) -> (rule5 % int5)) ((((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) ((((triple5) -> (rule4 % int4))) -> (rule1 % int6))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
((((((((((triple5) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple9) -> (rule6 % int3))) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((((triple5) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple9) -> (rule6 % int3))) -> (rule7 % int2)) ((triple8) -> (rule8 % int5))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((((triple5) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple9) -> (rule6 % int3))) -> (rule7 % int2)) ((triple9) -> (rule1 % int5))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((((triple5) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple5) -> (rule4 % int6))) -> (rule6 % int3))) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((((triple5) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple9) -> (rule6 % int3))) -> (rule7 % int2)) ((((triple5) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((((triple5) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple5) -> (rule4 % int6))) -> (rule6 % int3))) -> (rule7 % int2)) ((triple8) -> (rule8 % int5))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((((triple5) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple5) -> (rule4 % int6))) -> (rule6 % int3))) -> (rule7 % int2)) ((triple9) -> (rule1 % int5))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((((triple5) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple5) -> (rule4 % int6))) -> (rule6 % int3))) -> (rule7 % int2)) ((((triple5) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
((triple8 ((triple9) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple7) -> (rule5 % int3)) ((triple9) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple8 ((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple8 ((((triple7 triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple7) -> (rule5 % int4)) ((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple7) -> (rule5 % int4)) ((((triple7 triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((triple9) -> (rule1 % int4))) -> (rule5 % int3)) ((triple9) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple9) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple9) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple7 triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple8 ((((((triple8) -> (rule8 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple7) -> (rule5 % int5)) ((((((triple8) -> (rule8 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple9) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((triple9) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple8) -> (rule8 % int5)) triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule4 % int5))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple7 triple4) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple8) -> (rule8 % int4)) triple4) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
triple7
((triple8) -> (rule8 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple9) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
triple8
((triple7) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
triple9
((triple5) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple7 triple4) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple7 ((triple6 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((triple8) -> (rule8 % int2)) triple4) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple8) -> (rule8 % int3)) ((triple6 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple7 ((triple6 ((triple8) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple8) -> (rule8 % int3)) ((triple6 ((triple8) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
((((triple10) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
((((((triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
((triple2) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple3) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple9) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple7 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple7 ((triple6 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((triple8) -> (rule8 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple8) -> (rule8 % int4)) ((triple6 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple7 ((triple6 ((triple8) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple8) -> (rule8 % int4)) ((triple6 ((triple8) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple12 triple11) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple12 ((((triple10) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((((triple10) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple11) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((((triple10) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple10) -> (rule4 % int5))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is red.
("Fiona" "is" "red" "+")
((triple12) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple10) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((triple10) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple12) -> (rule8 % int4)) ((((triple12 triple11) -> (rule7 % int3)) ((triple12) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple12 triple11) -> (rule7 % int3)) ((triple12) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple12 triple11) -> (rule7 % int4)) ((((triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple12 ((((triple10) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule7 % int3)) ((triple12) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((triple12 ((((triple10) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple10) -> (rule4 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((((triple10) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) triple11) -> (rule7 % int2)) ((triple12) -> (rule8 % int4))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((((triple10) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) triple11) -> (rule7 % int2)) ((((triple10) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((((triple10) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple10) -> (rule4 % int6))) -> (rule6 % int3))) -> (rule7 % int2)) ((triple12) -> (rule8 % int5))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is white.
("Fiona" "is" "white" "+")
int6
((((((((((triple10) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple10) -> (rule4 % int6))) -> (rule6 % int3))) -> (rule7 % int2)) ((((triple10) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is white.
("Fiona" "is" "white" "+")
int6
Anne is smart.
("Anne" "is" "smart" "+")
((((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
((((((triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
((((((((triple2) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple2) -> (rule4 % int5))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
((((((((triple3) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
((((((((((triple3) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule4 % int6))) -> (rule6 % int3))) -> (rule7 % int2)) ((((triple3) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6