Bob is blue. Bob is cold. Bob is green. Bob is red. Bob is round. Bob is white. Fiona is blue. Fiona is cold. Fiona is green. Fiona is round. Fiona is smart. Fiona is white. Harry is cold. Harry is green. Harry is white. All red people are smart. Green, round people are smart. Smart people are red. If someone is smart and red then they are blue. If someone is cold then they are white. If someone is green and white then they are round.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is white.
("Harry" "is" "white" "+")
All red people are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Green, round people are smart.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
Smart people are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
If someone is smart and red then they are blue.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold then they are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
If someone is green and white then they are round.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
Harry is green.
True
1
proof
[(triple14)]
("Harry" "is" "green" "+")
triple14
Bob is not blue.
False
1
inv-proof
[(triple1 OR ((((triple4) -> rule1) triple4) -> rule4) OR ((((triple3 triple5) -> rule2) triple4) -> rule4) OR ((((triple3 ((triple3 triple6) -> rule6)) -> rule2) triple4) -> rule4) OR ((((triple4) -> rule1) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 ((triple3 triple6) -> rule6)) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2) triple4) -> rule4) OR ((((triple4) -> rule1) ((((triple3 ((triple3 triple6) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 triple5) -> rule2) ((((triple3 ((triple3 triple6) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 ((triple3 triple6) -> rule6)) -> rule2) ((((triple3 ((triple3 triple6) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2) ((((triple3 ((triple3 triple6) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple4) -> rule1) ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 triple5) -> rule2) ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 ((triple3 triple6) -> rule6)) -> rule2) ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2) ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2)) -> rule3)) -> rule4))]
("Bob" "is" "blue" "-")
triple1
((((triple4) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3 triple5) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3 ((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple4) -> (rule1 % int3)) ((((triple3 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple3 triple5) -> (rule2 % int3)) ((((triple3 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple3 ((triple3 triple6) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple3 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((triple3 ((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((triple4) -> (rule1 % int4)) ((((triple3 ((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple3 triple5) -> (rule2 % int4)) ((((triple3 ((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple3 ((triple3 triple6) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple3 ((triple3 triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((triple3 ((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple3 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((triple3 ((triple3 ((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple3 ((triple3 triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((triple4) -> (rule1 % int5)) ((((triple3 ((triple3 ((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple3 triple5) -> (rule2 % int5)) ((((triple3 ((triple3 ((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple3 ((triple3 triple6) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple3 ((triple3 ((triple2) -> (rule5 % int3))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple3 ((triple3 ((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple3 ((triple3 ((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Harry is round.
True
3
proof
[(((triple14 triple15) -> rule6) OR ((triple14 ((triple13) -> rule5)) -> rule6))]
("Harry" "is" "round" "+")
((triple14 triple15) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple14 ((triple13) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Fiona is not red.
False
2
inv-proof
[(((triple11) -> rule3) OR ((((triple9 triple10) -> rule2)) -> rule3) OR ((((triple9 ((triple9 triple12) -> rule6)) -> rule2)) -> rule3) OR ((((triple9 ((triple9 ((triple8) -> rule5)) -> rule6)) -> rule2)) -> rule3))]
("Fiona" "is" "red" "-")
((triple11) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple9 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple9 ((triple9 triple12) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple9 ((triple9 ((triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Harry is smart.
True
5
proof
[(((triple14 ((triple14 triple15) -> rule6)) -> rule2) OR ((triple14 ((triple14 ((triple13) -> rule5)) -> rule6)) -> rule2))]
("Harry" "is" "smart" "+")
((triple14 ((triple14 triple15) -> (rule6 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple14 ((triple14 ((triple13) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is not smart.
False
5
inv-proof
[(((triple14 ((triple14 triple15) -> rule6)) -> rule2) OR ((triple14 ((triple14 ((triple13) -> rule5)) -> rule6)) -> rule2))]
("Harry" "is" "smart" "-")
((triple14 ((triple14 triple15) -> (rule6 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple14 ((triple14 ((triple13) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
@0: Bob is blue.[(triple1 OR ((((triple4) -> rule1) triple4) -> rule4) OR ((((triple3 triple5) -> rule2) triple4) -> rule4) OR ((((triple3 ((triple3 triple6) -> rule6)) -> rule2) triple4) -> rule4) OR ((((triple4) -> rule1) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 ((triple3 triple6) -> rule6)) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2) triple4) -> rule4) OR ((((triple4) -> rule1) ((((triple3 ((triple3 triple6) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 triple5) -> rule2) ((((triple3 ((triple3 triple6) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 ((triple3 triple6) -> rule6)) -> rule2) ((((triple3 ((triple3 triple6) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2) ((((triple3 ((triple3 triple6) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple4) -> rule1) ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 triple5) -> rule2) ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 ((triple3 triple6) -> rule6)) -> rule2) ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2) ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2)) -> rule3)) -> rule4))] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is red.[(triple4 OR ((((triple3 triple5) -> rule2)) -> rule3) OR ((((triple3 ((triple3 triple6) -> rule6)) -> rule2)) -> rule3) OR ((((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2)) -> rule3))] Bob is round.[(triple5 OR ((triple3 triple6) -> rule6) OR ((triple3 ((triple2) -> rule5)) -> rule6))] Bob is white.[(triple6 OR ((triple2) -> rule5))] Fiona is blue.[(triple7 OR ((triple11 ((triple11) -> rule3)) -> rule4) OR ((((triple9 triple10) -> rule2) ((triple11) -> rule3)) -> rule4) OR ((triple11 ((((triple9 triple10) -> rule2)) -> rule3)) -> rule4) OR ((((triple9 triple10) -> rule2) ((((triple9 triple10) -> rule2)) -> rule3)) -> rule4) OR ((((triple9 ((triple9 triple12) -> rule6)) -> rule2) ((triple11) -> rule3)) -> rule4) OR ((((triple9 ((triple9 triple12) -> rule6)) -> rule2) ((((triple9 triple10) -> rule2)) -> rule3)) -> rule4) OR ((triple11 ((((triple9 ((triple9 triple12) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple9 triple10) -> rule2) ((((triple9 ((triple9 triple12) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple9 ((triple9 ((triple8) -> rule5)) -> rule6)) -> rule2) ((triple11) -> rule3)) -> rule4) OR ((((triple9 ((triple9 triple12) -> rule6)) -> rule2) ((((triple9 ((triple9 triple12) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple9 ((triple9 ((triple8) -> rule5)) -> rule6)) -> rule2) ((((triple9 triple10) -> rule2)) -> rule3)) -> rule4) OR ((((triple9 ((triple9 ((triple8) -> rule5)) -> rule6)) -> rule2) ((((triple9 ((triple9 triple12) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((triple11 ((((triple9 ((triple9 ((triple8) -> rule5)) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple9 triple10) -> rule2) ((((triple9 ((triple9 ((triple8) -> rule5)) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple9 ((triple9 triple12) -> rule6)) -> rule2) ((((triple9 ((triple9 ((triple8) -> rule5)) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple9 ((triple9 ((triple8) -> rule5)) -> rule6)) -> rule2) ((((triple9 ((triple9 ((triple8) -> rule5)) -> rule6)) -> rule2)) -> rule3)) -> rule4))] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is round.[(triple10 OR ((triple9 triple12) -> rule6) OR ((triple9 ((triple8) -> rule5)) -> rule6))] Fiona is smart.[(triple11 OR ((triple9 triple10) -> rule2) OR ((triple9 ((triple9 triple12) -> rule6)) -> rule2) OR ((triple9 ((triple9 ((triple8) -> rule5)) -> rule6)) -> rule2))] Fiona is white.[(triple12 OR ((triple8) -> rule5))] Harry is cold.[(triple13)] Harry is green.[(triple14)] Harry is white.[(triple15 OR ((triple13) -> rule5))] @1: Bob is smart.[(((triple4) -> rule1) OR ((triple3 triple5) -> rule2) OR ((triple3 ((triple3 triple6) -> rule6)) -> rule2) OR ((triple3 ((triple3 ((triple2) -> rule5)) -> rule6)) -> rule2))] Fiona is red.[(((triple11) -> rule3) OR ((((triple9 triple10) -> rule2)) -> rule3) OR ((((triple9 ((triple9 triple12) -> rule6)) -> rule2)) -> rule3) OR ((((triple9 ((triple9 ((triple8) -> rule5)) -> rule6)) -> rule2)) -> rule3))] Harry is round.[(((triple14 triple15) -> rule6) OR ((triple14 ((triple13) -> rule5)) -> rule6))] @2: Harry is smart.[(((triple14 ((triple14 triple15) -> rule6)) -> rule2) OR ((triple14 ((triple14 ((triple13) -> rule5)) -> rule6)) -> rule2))] @3: Harry is red.[(((((triple14 ((triple14 triple15) -> rule6)) -> rule2)) -> rule3) OR ((((triple14 ((triple14 ((triple13) -> rule5)) -> rule6)) -> rule2)) -> rule3))] @4: Harry is blue.[(((((triple14 ((triple14 triple15) -> rule6)) -> rule2) ((((triple14 ((triple14 triple15) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple14 ((triple14 ((triple13) -> rule5)) -> rule6)) -> rule2) ((((triple14 ((triple14 triple15) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple14 ((triple14 triple15) -> rule6)) -> rule2) ((((triple14 ((triple14 ((triple13) -> rule5)) -> rule6)) -> rule2)) -> rule3)) -> rule4) OR ((((triple14 ((triple14 ((triple13) -> rule5)) -> rule6)) -> rule2) ((((triple14 ((triple14 ((triple13) -> rule5)) -> rule6)) -> rule2)) -> rule3)) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((((triple4) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3 triple5) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3 ((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple4) -> (rule1 % int3)) ((((triple3 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple3 triple5) -> (rule2 % int3)) ((((triple3 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple3 ((triple3 triple6) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple3 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((triple3 ((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((triple4) -> (rule1 % int4)) ((((triple3 ((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple3 triple5) -> (rule2 % int4)) ((((triple3 ((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple3 ((triple3 triple6) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple3 ((triple3 triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((triple3 ((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple3 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((triple3 ((triple3 ((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple3 ((triple3 triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((triple4) -> (rule1 % int5)) ((((triple3 ((triple3 ((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple3 triple5) -> (rule2 % int5)) ((((triple3 ((triple3 ((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple3 ((triple3 triple6) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple3 ((triple3 ((triple2) -> (rule5 % int3))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple3 ((triple3 ((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple3 ((triple3 ((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
((((triple3 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3 ((triple3 triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple3 ((triple3 ((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple3 triple6) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple3 ((triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
triple6
((triple2) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
((triple11 ((triple11) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple9 triple10) -> (rule2 % int3)) ((triple11) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((triple11 ((((triple9 triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((triple9 triple10) -> (rule2 % int3)) ((((triple9 triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((triple9 ((triple9 triple12) -> (rule6 % int4))) -> (rule2 % int3)) ((triple11) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9 ((triple9 triple12) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple9 triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple11 ((((triple9 ((triple9 triple12) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9 triple10) -> (rule2 % int4)) ((((triple9 ((triple9 triple12) -> (rule6 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((triple9 ((triple9 ((triple8) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((triple11) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((triple9 ((triple9 triple12) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple9 ((triple9 triple12) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9 ((triple9 ((triple8) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple9 triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((triple9 ((triple9 ((triple8) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple9 ((triple9 triple12) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((triple11 ((((triple9 ((triple9 ((triple8) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((triple9 triple10) -> (rule2 % int5)) ((((triple9 ((triple9 ((triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((triple9 ((triple9 triple12) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple9 ((triple9 ((triple8) -> (rule5 % int3))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((triple9 ((triple9 ((triple8) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple9 ((triple9 ((triple8) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
((triple9 triple12) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple9 ((triple8) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
((triple9 triple10) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple9 ((triple9 triple12) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((triple9 ((triple9 ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
triple12
((triple8) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
((triple13) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple3 triple5) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple3 ((triple3 triple6) -> (rule6 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((triple3 ((triple3 ((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
((triple11) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple9 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple9 ((triple9 triple12) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple9 ((triple9 ((triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
((triple14 triple15) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple14 ((triple13) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
((triple14 ((triple14 triple15) -> (rule6 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple14 ((triple14 ((triple13) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((((triple14 ((triple14 triple15) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple14 ((triple14 ((triple13) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
((((triple14 ((triple14 triple15) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple14 ((triple14 triple15) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple14 ((triple14 ((triple13) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple14 ((triple14 triple15) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple14 ((triple14 triple15) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple14 ((triple14 ((triple13) -> (rule5 % int3))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple14 ((triple14 ((triple13) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple14 ((triple14 ((triple13) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5