Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is smart. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is red. Erin is blue. Erin is furry. Erin is green. Erin is red. All blue, furry people are smart. If someone is green and cold then they are blue. If someone is kind and furry then they are cold. Smart people are green. If someone is green and furry then they are cold. If Dave is furry and Dave is blue then Dave is kind. Smart people are green. If someone is furry and red then they are green.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
All blue, furry people are smart.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If someone is green and cold then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and furry then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Smart people are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If someone is green and furry then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If Dave is furry and Dave is blue then Dave is kind.
((("Dave" "is" "furry" "+") ("Dave" "is" "blue" "+")) -> ("Dave" "is" "kind" "+"))
Smart people are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If someone is furry and red then they are green.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Dave is kind.
True
1
proof
[(triple11)]
("Dave" "is" "kind" "+")
triple11
Dave is not green.
False
1
inv-proof
[(triple10)]
("Dave" "is" "green" "-")
triple10
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "smart" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Anne is blue.[(triple1 OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple4 triple3) -> rule5)) -> rule2) OR ((triple4 ((triple5 triple3) -> rule3)) -> rule2) OR ((((triple7) -> rule4) triple2) -> rule2) OR ((((triple7) -> rule7) triple2) -> rule2) OR ((((triple3 triple6) -> rule8) triple2) -> rule2) OR ((((triple7) -> rule4) ((triple4 triple3) -> rule5)) -> rule2) OR ((((triple7) -> rule4) ((triple5 triple3) -> rule3)) -> rule2) OR ((((triple7) -> rule7) ((triple4 triple3) -> rule5)) -> rule2) OR ((((triple7) -> rule7) ((triple5 triple3) -> rule3)) -> rule2) OR ((((triple3 triple6) -> rule8) ((triple4 triple3) -> rule5)) -> rule2) OR ((((triple3 triple6) -> rule8) ((triple5 triple3) -> rule3)) -> rule2) OR ((triple4 ((((triple7) -> rule4) triple3) -> rule5)) -> rule2) OR ((triple4 ((((triple7) -> rule7) triple3) -> rule5)) -> rule2) OR ((triple4 ((((triple3 triple6) -> rule8) triple3) -> rule5)) -> rule2) OR ((((triple7) -> rule4) ((((triple7) -> rule4) triple3) -> rule5)) -> rule2) OR ((((triple7) -> rule4) ((((triple7) -> rule7) triple3) -> rule5)) -> rule2) OR ((((triple7) -> rule4) ((((triple3 triple6) -> rule8) triple3) -> rule5)) -> rule2) OR ((((triple7) -> rule7) ((((triple7) -> rule4) triple3) -> rule5)) -> rule2) OR ((((triple7) -> rule7) ((((triple7) -> rule7) triple3) -> rule5)) -> rule2) OR ((((triple7) -> rule7) ((((triple3 triple6) -> rule8) triple3) -> rule5)) -> rule2) OR ((((triple3 triple6) -> rule8) ((((triple7) -> rule4) triple3) -> rule5)) -> rule2) OR ((((triple3 triple6) -> rule8) ((((triple7) -> rule7) triple3) -> rule5)) -> rule2) OR ((((triple3 triple6) -> rule8) ((((triple3 triple6) -> rule8) triple3) -> rule5)) -> rule2))] Anne is cold.[(triple2 OR ((triple4 triple3) -> rule5) OR ((triple5 triple3) -> rule3) OR ((((triple7) -> rule4) triple3) -> rule5) OR ((((triple7) -> rule7) triple3) -> rule5) OR ((((triple3 triple6) -> rule8) triple3) -> rule5) OR ((((((triple1 triple3) -> rule1)) -> rule4) triple3) -> rule5) OR ((((((triple1 triple3) -> rule1)) -> rule7) triple3) -> rule5))] Anne is furry.[(triple3)] Anne is green.[(triple4 OR ((triple7) -> rule4) OR ((triple7) -> rule7) OR ((triple3 triple6) -> rule8) OR ((((triple1 triple3) -> rule1)) -> rule4) OR ((((triple1 triple3) -> rule1)) -> rule7))] Anne is kind.[(triple5)] Anne is red.[(triple6)] Anne is smart.[(triple7 OR ((triple1 triple3) -> rule1) OR ((((triple4 triple2) -> rule2) triple3) -> rule1) OR ((((triple4 ((triple4 triple3) -> rule5)) -> rule2) triple3) -> rule1) OR ((((triple4 ((triple5 triple3) -> rule3)) -> rule2) triple3) -> rule1) OR ((((((triple3 triple6) -> rule8) triple2) -> rule2) triple3) -> rule1) OR ((((((triple3 triple6) -> rule8) ((triple4 triple3) -> rule5)) -> rule2) triple3) -> rule1) OR ((((((triple3 triple6) -> rule8) ((triple5 triple3) -> rule3)) -> rule2) triple3) -> rule1) OR ((((triple4 ((((triple3 triple6) -> rule8) triple3) -> rule5)) -> rule2) triple3) -> rule1) OR ((((((triple3 triple6) -> rule8) ((((triple3 triple6) -> rule8) triple3) -> rule5)) -> rule2) triple3) -> rule1))] Dave is blue.[(triple8 OR ((triple10 triple9) -> rule2))] Dave is cold.[(triple9)] Dave is green.[(triple10)] Dave is kind.[(triple11)] Dave is red.[(triple12)] Erin is blue.[(triple13 OR ((triple15 ((triple15 triple14) -> rule5)) -> rule2) OR ((((triple14 triple16) -> rule8) ((triple15 triple14) -> rule5)) -> rule2) OR ((triple15 ((((triple14 triple16) -> rule8) triple14) -> rule5)) -> rule2) OR ((((triple14 triple16) -> rule8) ((((triple14 triple16) -> rule8) triple14) -> rule5)) -> rule2))] Erin is furry.[(triple14)] Erin is green.[(triple15 OR ((triple14 triple16) -> rule8) OR ((((triple13 triple14) -> rule1)) -> rule4) OR ((((triple13 triple14) -> rule1)) -> rule7))] Erin is red.[(triple16)] @1: Erin is cold.[(((triple15 triple14) -> rule5) OR ((((triple14 triple16) -> rule8) triple14) -> rule5) OR ((((((triple13 triple14) -> rule1)) -> rule4) triple14) -> rule5) OR ((((((triple13 triple14) -> rule1)) -> rule7) triple14) -> rule5))] Erin is smart.[(((triple13 triple14) -> rule1) OR ((((triple15 ((triple15 triple14) -> rule5)) -> rule2) triple14) -> rule1) OR ((((((triple14 triple16) -> rule8) ((triple15 triple14) -> rule5)) -> rule2) triple14) -> rule1) OR ((((triple15 ((((triple14 triple16) -> rule8) triple14) -> rule5)) -> rule2) triple14) -> rule1) OR ((((((triple14 triple16) -> rule8) ((((triple14 triple16) -> rule8) triple14) -> rule5)) -> rule2) triple14) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple4 triple2) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple4 ((triple4 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple4 ((triple5 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple7) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple7) -> (rule7 % int2)) triple2) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple3 triple6) -> (rule8 % int2)) triple2) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple7) -> (rule4 % int3)) ((triple4 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7) -> (rule4 % int3)) ((triple5 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7) -> (rule7 % int3)) ((triple4 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7) -> (rule7 % int3)) ((triple5 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple3 triple6) -> (rule8 % int3)) ((triple4 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple3 triple6) -> (rule8 % int3)) ((triple5 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple4 ((((triple7) -> (rule4 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple4 ((((triple7) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple4 ((((triple3 triple6) -> (rule8 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7) -> (rule4 % int3)) ((((triple7) -> (rule4 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7) -> (rule4 % int3)) ((((triple7) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7) -> (rule4 % int3)) ((((triple3 triple6) -> (rule8 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7) -> (rule7 % int3)) ((((triple7) -> (rule4 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7) -> (rule7 % int3)) ((((triple7) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7) -> (rule7 % int3)) ((((triple3 triple6) -> (rule8 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple3 triple6) -> (rule8 % int3)) ((((triple7) -> (rule4 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple3 triple6) -> (rule8 % int3)) ((((triple7) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple3 triple6) -> (rule8 % int3)) ((((triple3 triple6) -> (rule8 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple4 triple3) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple5 triple3) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple7) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple7) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple3 triple6) -> (rule8 % int2)) triple3) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((((triple1 triple3) -> (rule1 % int3))) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple1 triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
triple4
((triple7) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple7) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple3 triple6) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple1 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple1 triple3) -> (rule1 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
triple5
Anne is red.
("Anne" "is" "red" "+")
triple6
Anne is smart.
("Anne" "is" "smart" "+")
triple7
((triple1 triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple4 triple2) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple4 ((triple4 triple3) -> (rule5 % int3))) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple4 ((triple5 triple3) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple3 triple6) -> (rule8 % int3)) triple2) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple3 triple6) -> (rule8 % int4)) ((triple4 triple3) -> (rule5 % int3))) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple3 triple6) -> (rule8 % int4)) ((triple5 triple3) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple4 ((((triple3 triple6) -> (rule8 % int4)) triple3) -> (rule5 % int3))) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple3 triple6) -> (rule8 % int4)) ((((triple3 triple6) -> (rule8 % int4)) triple3) -> (rule5 % int3))) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
triple8
((triple10 triple9) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
triple11
Dave is red.
("Dave" "is" "red" "+")
triple12
Erin is blue.
("Erin" "is" "blue" "+")
triple13
((triple15 ((triple15 triple14) -> (rule5 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple14 triple16) -> (rule8 % int3)) ((triple15 triple14) -> (rule5 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((triple15 ((((triple14 triple16) -> (rule8 % int3)) triple14) -> (rule5 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple14 triple16) -> (rule8 % int3)) ((((triple14 triple16) -> (rule8 % int3)) triple14) -> (rule5 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
triple14
Erin is green.
("Erin" "is" "green" "+")
triple15
((triple14 triple16) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple13 triple14) -> (rule1 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple13 triple14) -> (rule1 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple16
Erin is cold.
("Erin" "is" "cold" "+")
((triple15 triple14) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple14 triple16) -> (rule8 % int2)) triple14) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple13 triple14) -> (rule1 % int3))) -> (rule4 % int2)) triple14) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple13 triple14) -> (rule1 % int3))) -> (rule7 % int2)) triple14) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((triple13 triple14) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple15 ((triple15 triple14) -> (rule5 % int3))) -> (rule2 % int2)) triple14) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple14 triple16) -> (rule8 % int4)) ((triple15 triple14) -> (rule5 % int3))) -> (rule2 % int2)) triple14) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple15 ((((triple14 triple16) -> (rule8 % int4)) triple14) -> (rule5 % int3))) -> (rule2 % int2)) triple14) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple14 triple16) -> (rule8 % int4)) ((((triple14 triple16) -> (rule8 % int4)) triple14) -> (rule5 % int3))) -> (rule2 % int2)) triple14) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4