Bob is cold. Bob is round. Dave is big. Dave is green. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is white. Harry is big. Harry is blue. Harry is green. Harry is kind. Harry is round. Harry is white. All blue, cold things are green. Round, big things are cold. All round, kind things are blue. Blue things are kind. If Bob is round then Bob is kind. If Bob is blue then Bob is cold. All kind, cold things are round. Cold things are round.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
All blue, cold things are green.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Round, big things are cold.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
All round, kind things are blue.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
Blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If Bob is round then Bob is kind.
((("Bob" "is" "round" "+")) -> ("Bob" "is" "kind" "+"))
If Bob is blue then Bob is cold.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "cold" "+"))
All kind, cold things are round.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
Cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
Dave is big.
True
1
proof
[(triple3)]
("Dave" "is" "big" "+")
triple3
Dave is not green.
False
1
inv-proof
[(triple4)]
("Dave" "is" "green" "-")
triple4
Bob is kind.
True
2
proof
[(((triple2) -> rule5) OR ((((triple1) -> rule8)) -> rule5))]
("Bob" "is" "kind" "+")
((triple2) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Harry is not cold.
False
3
inv-proof
[(((triple15 triple11) -> rule2))]
("Harry" "is" "cold" "-")
((triple15 triple11) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Bob is blue.
True
4
proof
[(((triple2 ((triple2) -> rule5)) -> rule3) OR ((((triple1) -> rule8) ((triple2) -> rule5)) -> rule3) OR ((triple2 ((((triple1) -> rule8)) -> rule5)) -> rule3) OR ((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule5)) -> rule3))]
("Bob" "is" "blue" "+")
((triple2 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple1) -> (rule8 % int3)) ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple2 ((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple1) -> (rule8 % int3)) ((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not blue.
False
4
inv-proof
[(((triple2 ((triple2) -> rule5)) -> rule3) OR ((((triple1) -> rule8) ((triple2) -> rule5)) -> rule3) OR ((triple2 ((((triple1) -> rule8)) -> rule5)) -> rule3) OR ((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule5)) -> rule3))]
("Bob" "is" "blue" "-")
((triple2 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple1) -> (rule8 % int3)) ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple2 ((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple1) -> (rule8 % int3)) ((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is green.
True
6
proof
[(((((triple2 ((triple2) -> rule5)) -> rule3) triple1) -> rule1) OR ((((((triple1) -> rule8) ((triple2) -> rule5)) -> rule3) triple1) -> rule1) OR ((((triple2 ((((triple1) -> rule8)) -> rule5)) -> rule3) triple1) -> rule1) OR ((((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule5)) -> rule3) triple1) -> rule1) OR ((((triple2 ((triple2) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1) OR ((((triple2 ((((triple1) -> rule8)) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple1) -> rule8) ((triple2) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1))]
("Bob" "is" "green" "+")
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple1) -> (rule8 % int4)) ((triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple2 ((((triple1) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple1) -> (rule8 % int4)) ((((triple1) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple2 ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple2 ((((triple1) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple1) -> (rule8 % int5)) ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple1) -> (rule8 % int5)) ((((triple1) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is not green.
False
6
inv-proof
[(((((triple2 ((triple2) -> rule5)) -> rule3) triple1) -> rule1) OR ((((((triple1) -> rule8) ((triple2) -> rule5)) -> rule3) triple1) -> rule1) OR ((((triple2 ((((triple1) -> rule8)) -> rule5)) -> rule3) triple1) -> rule1) OR ((((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule5)) -> rule3) triple1) -> rule1) OR ((((triple2 ((triple2) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1) OR ((((triple2 ((((triple1) -> rule8)) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple1) -> rule8) ((triple2) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1))]
("Bob" "is" "green" "-")
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple1) -> (rule8 % int4)) ((triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple2 ((((triple1) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple1) -> (rule8 % int4)) ((((triple1) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple2 ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple2 ((((triple1) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple1) -> (rule8 % int5)) ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple1) -> (rule8 % int5)) ((((triple1) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Dave is not blue.
Unknown
inv-rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is round.
Unknown
rconc
[@3: Dave is round.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule3 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not cold.
Unknown
inv-rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is kind.
Unknown
rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Dave" "is" "kind" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Bob is cold.[(triple1 OR ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6))] Bob is round.[(triple2 OR ((triple1) -> rule8))] Dave is big.[(triple3)] Dave is green.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6 OR ((((triple7) -> rule8) triple9) -> rule3) OR ((((triple9 triple7) -> rule7) triple9) -> rule3))] Fiona is cold.[(triple7)] Fiona is green.[(triple8 OR ((triple6 triple7) -> rule1) OR ((((((triple7) -> rule8) triple9) -> rule3) triple7) -> rule1) OR ((((((triple9 triple7) -> rule7) triple9) -> rule3) triple7) -> rule1))] Fiona is kind.[(triple9 OR ((triple6) -> rule4))] Fiona is white.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12 OR ((triple15 triple14) -> rule3))] Harry is green.[(triple13 OR ((triple12 ((triple15 triple11) -> rule2)) -> rule1) OR ((((triple15 triple14) -> rule3) ((triple15 triple11) -> rule2)) -> rule1))] Harry is kind.[(triple14 OR ((triple12) -> rule4))] Harry is round.[(triple15)] Harry is white.[(triple16)] @1: Bob is kind.[(((triple2) -> rule5) OR ((((triple1) -> rule8)) -> rule5))] Fiona is round.[(((triple7) -> rule8) OR ((triple9 triple7) -> rule7) OR ((((triple6) -> rule4) triple7) -> rule7))] Harry is cold.[(((triple15 triple11) -> rule2))] @2: Bob is blue.[(((triple2 ((triple2) -> rule5)) -> rule3) OR ((((triple1) -> rule8) ((triple2) -> rule5)) -> rule3) OR ((triple2 ((((triple1) -> rule8)) -> rule5)) -> rule3) OR ((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule5)) -> rule3))] @3: Bob is green.[(((((triple2 ((triple2) -> rule5)) -> rule3) triple1) -> rule1) OR ((((((triple1) -> rule8) ((triple2) -> rule5)) -> rule3) triple1) -> rule1) OR ((((triple2 ((((triple1) -> rule8)) -> rule5)) -> rule3) triple1) -> rule1) OR ((((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule5)) -> rule3) triple1) -> rule1) OR ((((triple2 ((triple2) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1) OR ((((triple2 ((((triple1) -> rule8)) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple1) -> rule8) ((triple2) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
triple2
((triple1) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
((((triple7) -> (rule8 % int2)) triple9) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple9 triple7) -> (rule7 % int2)) triple9) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
((triple6 triple7) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((((triple7) -> (rule8 % int3)) triple9) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple9 triple7) -> (rule7 % int3)) triple9) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
((triple6) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
((triple15 triple14) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple13
((triple12 ((triple15 triple11) -> (rule2 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple15 triple14) -> (rule3 % int3)) ((triple15 triple11) -> (rule2 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
triple14
((triple12) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((triple7) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple9 triple7) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple6) -> (rule4 % int2)) triple7) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple15 triple11) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple1) -> (rule8 % int3)) ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple2 ((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple1) -> (rule8 % int3)) ((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple1) -> (rule8 % int4)) ((triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple2 ((((triple1) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple1) -> (rule8 % int4)) ((((triple1) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple2 ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple2 ((((triple1) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple1) -> (rule8 % int5)) ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple1) -> (rule8 % int5)) ((((triple1) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5