Bob is rough. Bob is smart. Dave is blue. Dave is cold. Dave is furry. Dave is red. Dave is rough. Dave is smart. Dave is white. Fiona is blue. Fiona is red. Fiona is smart. All furry things are white. All red things are white. If something is furry and rough then it is cold. If something is furry then it is smart. If something is white and rough then it is red. All white, cold things are blue. White, red things are furry. All white, blue things are rough.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
All red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
If something is furry and rough then it is cold.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If something is furry then it is smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
If something is white and rough then it is red.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
All white, cold things are blue.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
White, red things are furry.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
All white, blue things are rough.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
Fiona is blue.
True
1
proof
[(triple10)]
("Fiona" "is" "blue" "+")
triple10
Fiona is not smart.
False
1
inv-proof
[(triple12 OR ((((((triple11) -> rule2) triple11) -> rule7)) -> rule4))]
("Fiona" "is" "smart" "-")
triple12
((((((triple11) -> (rule2 % int3)) triple11) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is white.
True
2
proof
[(((triple11) -> rule2))]
("Fiona" "is" "white" "+")
((triple11) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple11) -> rule2))]
("Fiona" "is" "white" "-")
((triple11) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Bob is not white.
Unknown
inv-rconc
[@4: Bob is white.[CWA. Example of deepest failure = (rule1 <- rule7 <- rule2 <- rule5 <- FAIL)]]
("Bob" "is" "white" "-")
Bob is blue.
Unknown
rconc
[@5: Bob is blue.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule7 <- rule2 <- rule5 <- FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is rough.[(triple1)] Bob is smart.[(triple2)] Dave is blue.[(triple3 OR ((triple9 triple4) -> rule6) OR ((triple9 ((triple5 triple7) -> rule3)) -> rule6) OR ((((triple5) -> rule1) triple4) -> rule6) OR ((((triple6) -> rule2) triple4) -> rule6) OR ((((triple5) -> rule1) ((triple5 triple7) -> rule3)) -> rule6) OR ((((triple6) -> rule2) ((triple5 triple7) -> rule3)) -> rule6) OR ((triple9 ((((triple9 triple6) -> rule7) triple7) -> rule3)) -> rule6) OR ((((triple5) -> rule1) ((((triple9 triple6) -> rule7) triple7) -> rule3)) -> rule6) OR ((((triple6) -> rule2) ((((triple9 triple6) -> rule7) triple7) -> rule3)) -> rule6) OR ((triple9 ((((triple9 ((triple9 triple7) -> rule5)) -> rule7) triple7) -> rule3)) -> rule6) OR ((triple9 ((((((triple6) -> rule2) triple6) -> rule7) triple7) -> rule3)) -> rule6) OR ((triple9 ((((((triple6) -> rule2) ((triple9 triple7) -> rule5)) -> rule7) triple7) -> rule3)) -> rule6) OR ((((triple5) -> rule1) ((((triple9 ((triple9 triple7) -> rule5)) -> rule7) triple7) -> rule3)) -> rule6) OR ((((triple5) -> rule1) ((((((triple6) -> rule2) triple6) -> rule7) triple7) -> rule3)) -> rule6) OR ((((triple6) -> rule2) ((((triple9 ((triple9 triple7) -> rule5)) -> rule7) triple7) -> rule3)) -> rule6) OR ((((triple6) -> rule2) ((((((triple6) -> rule2) triple6) -> rule7) triple7) -> rule3)) -> rule6) OR ((((triple5) -> rule1) ((((((triple6) -> rule2) ((triple9 triple7) -> rule5)) -> rule7) triple7) -> rule3)) -> rule6) OR ((((triple6) -> rule2) ((((((triple6) -> rule2) ((triple9 triple7) -> rule5)) -> rule7) triple7) -> rule3)) -> rule6))] Dave is cold.[(triple4 OR ((triple5 triple7) -> rule3) OR ((triple5 ((triple9 triple3) -> rule8)) -> rule3) OR ((((triple9 triple6) -> rule7) triple7) -> rule3) OR ((((triple9 triple6) -> rule7) ((triple9 triple3) -> rule8)) -> rule3) OR ((triple5 ((((triple5) -> rule1) triple3) -> rule8)) -> rule3) OR ((triple5 ((((triple6) -> rule2) triple3) -> rule8)) -> rule3) OR ((((triple9 ((triple9 triple7) -> rule5)) -> rule7) triple7) -> rule3) OR ((((((triple6) -> rule2) triple6) -> rule7) triple7) -> rule3) OR ((((triple9 triple6) -> rule7) ((((triple5) -> rule1) triple3) -> rule8)) -> rule3) OR ((((triple9 triple6) -> rule7) ((((triple6) -> rule2) triple3) -> rule8)) -> rule3) OR ((((triple9 ((triple9 triple7) -> rule5)) -> rule7) ((triple9 triple3) -> rule8)) -> rule3) OR ((((((triple6) -> rule2) triple6) -> rule7) ((triple9 triple3) -> rule8)) -> rule3) OR ((((((triple6) -> rule2) ((triple9 triple7) -> rule5)) -> rule7) triple7) -> rule3) OR ((((triple9 ((triple9 triple7) -> rule5)) -> rule7) ((((triple5) -> rule1) triple3) -> rule8)) -> rule3) OR ((((triple9 ((triple9 triple7) -> rule5)) -> rule7) ((((triple6) -> rule2) triple3) -> rule8)) -> rule3) OR ((((((triple6) -> rule2) triple6) -> rule7) ((((triple5) -> rule1) triple3) -> rule8)) -> rule3) OR ((((((triple6) -> rule2) triple6) -> rule7) ((((triple6) -> rule2) triple3) -> rule8)) -> rule3) OR ((((((triple6) -> rule2) ((triple9 triple7) -> rule5)) -> rule7) ((triple9 triple3) -> rule8)) -> rule3) OR ((((((triple6) -> rule2) ((triple9 triple7) -> rule5)) -> rule7) ((((triple5) -> rule1) triple3) -> rule8)) -> rule3) OR ((((((triple6) -> rule2) ((triple9 triple7) -> rule5)) -> rule7) ((((triple6) -> rule2) triple3) -> rule8)) -> rule3) OR ((((triple9 ((triple9 ((triple9 triple3) -> rule8)) -> rule5)) -> rule7) triple7) -> rule3) OR ((((triple9 ((triple9 ((triple9 triple3) -> rule8)) -> rule5)) -> rule7) ((triple9 triple3) -> rule8)) -> rule3) OR ((((((triple6) -> rule2) ((triple9 ((triple9 triple3) -> rule8)) -> rule5)) -> rule7) triple7) -> rule3) OR ((((triple9 ((triple9 ((triple9 triple3) -> rule8)) -> rule5)) -> rule7) ((((triple5) -> rule1) triple3) -> rule8)) -> rule3) OR ((((triple9 ((triple9 ((triple9 triple3) -> rule8)) -> rule5)) -> rule7) ((((triple6) -> rule2) triple3) -> rule8)) -> rule3) OR ((((((triple6) -> rule2) ((triple9 ((triple9 triple3) -> rule8)) -> rule5)) -> rule7) ((triple9 triple3) -> rule8)) -> rule3) OR ((((((triple6) -> rule2) ((triple9 ((triple9 triple3) -> rule8)) -> rule5)) -> rule7) ((((triple5) -> rule1) triple3) -> rule8)) -> rule3) OR ((((((triple6) -> rule2) ((triple9 ((triple9 triple3) -> rule8)) -> rule5)) -> rule7) ((((triple6) -> rule2) triple3) -> rule8)) -> rule3))] Dave is furry.[(triple5 OR ((triple9 triple6) -> rule7) OR ((triple9 ((triple9 triple7) -> rule5)) -> rule7) OR ((((triple6) -> rule2) triple6) -> rule7) OR ((((triple6) -> rule2) ((triple9 triple7) -> rule5)) -> rule7) OR ((triple9 ((triple9 ((triple9 triple3) -> rule8)) -> rule5)) -> rule7) OR ((((triple6) -> rule2) ((triple9 ((triple9 triple3) -> rule8)) -> rule5)) -> rule7) OR ((triple9 ((triple9 ((triple9 ((triple9 triple4) -> rule6)) -> rule8)) -> rule5)) -> rule7) OR ((((triple6) -> rule2) ((triple9 ((triple9 ((triple9 triple4) -> rule6)) -> rule8)) -> rule5)) -> rule7))] Dave is red.[(triple6 OR ((triple9 triple7) -> rule5) OR ((triple9 ((triple9 triple3) -> rule8)) -> rule5) OR ((((triple5) -> rule1) triple7) -> rule5) OR ((((triple5) -> rule1) ((triple9 triple3) -> rule8)) -> rule5) OR ((triple9 ((triple9 ((triple9 triple4) -> rule6)) -> rule8)) -> rule5) OR ((triple9 ((((triple5) -> rule1) triple3) -> rule8)) -> rule5) OR ((triple9 ((((triple5) -> rule1) ((triple9 triple4) -> rule6)) -> rule8)) -> rule5) OR ((((triple5) -> rule1) ((triple9 ((triple9 triple4) -> rule6)) -> rule8)) -> rule5) OR ((((triple5) -> rule1) ((((triple5) -> rule1) triple3) -> rule8)) -> rule5) OR ((((triple5) -> rule1) ((((triple5) -> rule1) ((triple9 triple4) -> rule6)) -> rule8)) -> rule5) OR ((triple9 ((triple9 ((((triple5) -> rule1) triple4) -> rule6)) -> rule8)) -> rule5) OR ((triple9 ((((triple5) -> rule1) ((((triple5) -> rule1) triple4) -> rule6)) -> rule8)) -> rule5) OR ((((triple5) -> rule1) ((triple9 ((((triple5) -> rule1) triple4) -> rule6)) -> rule8)) -> rule5) OR ((((triple5) -> rule1) ((((triple5) -> rule1) ((((triple5) -> rule1) triple4) -> rule6)) -> rule8)) -> rule5))] Dave is rough.[(triple7 OR ((triple9 triple3) -> rule8) OR ((triple9 ((triple9 triple4) -> rule6)) -> rule8) OR ((((triple5) -> rule1) triple3) -> rule8) OR ((((triple6) -> rule2) triple3) -> rule8) OR ((((triple5) -> rule1) ((triple9 triple4) -> rule6)) -> rule8) OR ((((triple6) -> rule2) ((triple9 triple4) -> rule6)) -> rule8) OR ((triple9 ((((triple5) -> rule1) triple4) -> rule6)) -> rule8) OR ((triple9 ((((triple6) -> rule2) triple4) -> rule6)) -> rule8) OR ((((triple5) -> rule1) ((((triple5) -> rule1) triple4) -> rule6)) -> rule8) OR ((((triple5) -> rule1) ((((triple6) -> rule2) triple4) -> rule6)) -> rule8) OR ((((triple6) -> rule2) ((((triple5) -> rule1) triple4) -> rule6)) -> rule8) OR ((((triple6) -> rule2) ((((triple6) -> rule2) triple4) -> rule6)) -> rule8))] Dave is smart.[(triple8 OR ((triple5) -> rule4) OR ((((triple9 triple6) -> rule7)) -> rule4) OR ((((triple9 ((triple9 triple7) -> rule5)) -> rule7)) -> rule4) OR ((((((triple6) -> rule2) triple6) -> rule7)) -> rule4) OR ((((((triple6) -> rule2) ((triple9 triple7) -> rule5)) -> rule7)) -> rule4) OR ((((triple9 ((triple9 ((triple9 triple3) -> rule8)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple6) -> rule2) ((triple9 ((triple9 triple3) -> rule8)) -> rule5)) -> rule7)) -> rule4) OR ((((triple9 ((triple9 ((triple9 ((triple9 triple4) -> rule6)) -> rule8)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple6) -> rule2) ((triple9 ((triple9 ((triple9 triple4) -> rule6)) -> rule8)) -> rule5)) -> rule7)) -> rule4))] Dave is white.[(triple9 OR ((triple5) -> rule1) OR ((triple6) -> rule2))] Fiona is blue.[(triple10)] Fiona is red.[(triple11)] Fiona is smart.[(triple12 OR ((((((triple11) -> rule2) triple11) -> rule7)) -> rule4))] @1: Fiona is white.[(((triple11) -> rule2))] @2: Fiona is furry.[(((((triple11) -> rule2) triple11) -> rule7))] Fiona is rough.[(((((triple11) -> rule2) triple10) -> rule8))] @3: Fiona is cold.[(((((((triple11) -> rule2) triple11) -> rule7) ((((triple11) -> rule2) triple10) -> rule8)) -> rule3))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple3
((triple9 triple4) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple9 ((triple5 triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((triple5) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple6) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple5) -> (rule1 % int3)) ((triple5 triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple6) -> (rule2 % int3)) ((triple5 triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple9 ((((triple9 triple6) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple5) -> (rule1 % int4)) ((((triple9 triple6) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple6) -> (rule2 % int4)) ((((triple9 triple6) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple9 ((((triple9 ((triple9 triple7) -> (rule5 % int4))) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple9 ((((((triple6) -> (rule2 % int4)) triple6) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple9 ((((((triple6) -> (rule2 % int5)) ((triple9 triple7) -> (rule5 % int4))) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple5) -> (rule1 % int5)) ((((triple9 ((triple9 triple7) -> (rule5 % int4))) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple5) -> (rule1 % int4)) ((((((triple6) -> (rule2 % int4)) triple6) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple6) -> (rule2 % int5)) ((((triple9 ((triple9 triple7) -> (rule5 % int4))) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple6) -> (rule2 % int4)) ((((((triple6) -> (rule2 % int4)) triple6) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple5) -> (rule1 % int5)) ((((((triple6) -> (rule2 % int5)) ((triple9 triple7) -> (rule5 % int4))) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple6) -> (rule2 % int5)) ((((((triple6) -> (rule2 % int5)) ((triple9 triple7) -> (rule5 % int4))) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
((triple5 triple7) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple5 ((triple9 triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple9 triple6) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple9 triple6) -> (rule7 % int3)) ((triple9 triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple5 ((((triple5) -> (rule1 % int3)) triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple5 ((((triple6) -> (rule2 % int3)) triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple9 ((triple9 triple7) -> (rule5 % int3))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple6) -> (rule2 % int3)) triple6) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple9 triple6) -> (rule7 % int4)) ((((triple5) -> (rule1 % int3)) triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple9 triple6) -> (rule7 % int4)) ((((triple6) -> (rule2 % int3)) triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple9 ((triple9 triple7) -> (rule5 % int4))) -> (rule7 % int3)) ((triple9 triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple6) -> (rule2 % int4)) triple6) -> (rule7 % int3)) ((triple9 triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple6) -> (rule2 % int4)) ((triple9 triple7) -> (rule5 % int3))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple9 ((triple9 triple7) -> (rule5 % int5))) -> (rule7 % int4)) ((((triple5) -> (rule1 % int3)) triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple9 ((triple9 triple7) -> (rule5 % int5))) -> (rule7 % int4)) ((((triple6) -> (rule2 % int3)) triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple6) -> (rule2 % int4)) triple6) -> (rule7 % int3)) ((((triple5) -> (rule1 % int4)) triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple6) -> (rule2 % int4)) triple6) -> (rule7 % int3)) ((((triple6) -> (rule2 % int4)) triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple6) -> (rule2 % int5)) ((triple9 triple7) -> (rule5 % int4))) -> (rule7 % int3)) ((triple9 triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((triple6) -> (rule2 % int5)) ((triple9 triple7) -> (rule5 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule1 % int5)) triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((triple6) -> (rule2 % int5)) ((triple9 triple7) -> (rule5 % int4))) -> (rule7 % int3)) ((((triple6) -> (rule2 % int5)) triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple9 ((triple9 ((triple9 triple3) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple9 ((triple9 ((triple9 triple3) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple9 triple3) -> (rule8 % int4))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple6) -> (rule2 % int5)) ((triple9 ((triple9 triple3) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple9 ((triple9 ((triple9 triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule1 % int2)) triple3) -> (rule8 % int5))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple9 ((triple9 ((triple9 triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((((triple6) -> (rule2 % int2)) triple3) -> (rule8 % int5))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((triple6) -> (rule2 % int5)) ((triple9 ((triple9 triple3) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple9 triple3) -> (rule8 % int4))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((triple6) -> (rule2 % int5)) ((triple9 ((triple9 triple3) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple5) -> (rule1 % int5)) triple3) -> (rule8 % int4))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((triple6) -> (rule2 % int5)) ((triple9 ((triple9 triple3) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple6) -> (rule2 % int5)) triple3) -> (rule8 % int4))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is furry.
("Dave" "is" "furry" "+")
triple5
((triple9 triple6) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple9 ((triple9 triple7) -> (rule5 % int2))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple6) -> (rule2 % int2)) triple6) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple6) -> (rule2 % int3)) ((triple9 triple7) -> (rule5 % int2))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple9 ((triple9 ((triple9 triple3) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple6) -> (rule2 % int4)) ((triple9 ((triple9 triple3) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple9 ((triple9 ((triple9 ((triple9 triple4) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple6) -> (rule2 % int5)) ((triple9 ((triple9 ((triple9 triple4) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
triple6
((triple9 triple7) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple9 ((triple9 triple3) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple5) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple5) -> (rule1 % int3)) ((triple9 triple3) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple9 ((triple9 ((triple9 triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple9 ((((triple5) -> (rule1 % int3)) triple3) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple9 ((((triple5) -> (rule1 % int4)) ((triple9 triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple5) -> (rule1 % int4)) ((triple9 ((triple9 triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple5) -> (rule1 % int3)) ((((triple5) -> (rule1 % int3)) triple3) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) ((triple9 triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple9 ((triple9 ((((triple5) -> (rule1 % int4)) triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple9 ((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple5) -> (rule1 % int4)) ((triple9 ((((triple5) -> (rule1 % int4)) triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4)) triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
triple7
((triple9 triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple9 ((triple9 triple4) -> (rule6 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple5) -> (rule1 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple6) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple5) -> (rule1 % int3)) ((triple9 triple4) -> (rule6 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple6) -> (rule2 % int3)) ((triple9 triple4) -> (rule6 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple9 ((((triple5) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple9 ((((triple6) -> (rule2 % int3)) triple4) -> (rule6 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple5) -> (rule1 % int3)) ((((triple5) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple5) -> (rule1 % int3)) ((((triple6) -> (rule2 % int3)) triple4) -> (rule6 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple6) -> (rule2 % int3)) ((((triple5) -> (rule1 % int3)) triple4) -> (rule6 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3)) triple4) -> (rule6 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
triple8
((triple5) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple9 triple6) -> (rule7 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple9 ((triple9 triple7) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple6) -> (rule2 % int3)) triple6) -> (rule7 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple6) -> (rule2 % int4)) ((triple9 triple7) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple9 ((triple9 ((triple9 triple3) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple6) -> (rule2 % int5)) ((triple9 ((triple9 triple3) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple9 ((triple9 ((triple9 ((triple9 triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple6) -> (rule2 % int6)) ((triple9 ((triple9 ((triple9 triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
Dave is white.
("Dave" "is" "white" "+")
triple9
((triple5) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple6) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
((((((triple11) -> (rule2 % int3)) triple11) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((triple11) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple11) -> (rule2 % int2)) triple11) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple11) -> (rule2 % int2)) triple10) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((triple11) -> (rule2 % int4)) triple11) -> (rule7 % int3)) ((((triple11) -> (rule2 % int4)) triple10) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4