Anne is cold. Anne is nice. Anne is white. Bob is round. Dave is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is round. All nice people are round. Blue, green people are cold. Cold people are blue. All white people are cold. Blue people are furry. If someone is white then they are green. All green, furry people are nice. Round, blue people are green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Blue, green people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
All white people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If someone is white then they are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
All green, furry people are nice.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Round, blue people are green.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Dave is white.
True
1
proof
[(triple5)]
("Dave" "is" "white" "+")
triple5
Dave is not white.
False
1
inv-proof
[(triple5)]
("Dave" "is" "white" "-")
triple5
Anne is round.
True
2
proof
[(((triple2) -> rule1) OR ((((((triple3) -> rule6) ((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3) -> rule6) ((((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule7)) -> rule1))]
("Anne" "is" "round" "+")
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((((triple3) -> (rule6 % int5)) ((((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple3) -> (rule6 % int6)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
Anne is not round.
False
2
inv-proof
[(((triple2) -> rule1) OR ((((((triple3) -> rule6) ((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3) -> rule6) ((((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule7)) -> rule1))]
("Anne" "is" "round" "-")
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((((triple3) -> (rule6 % int5)) ((((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple3) -> (rule6 % int6)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
Dave is blue.
True
3
proof
[(((((triple5) -> rule4)) -> rule3))]
("Dave" "is" "blue" "+")
((((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Anne is not furry.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule5) OR ((((((triple3) -> rule4)) -> rule3)) -> rule5))]
("Anne" "is" "furry" "-")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Dave is furry.
True
4
proof
[(((((((triple5) -> rule4)) -> rule3)) -> rule5))]
("Dave" "is" "furry" "+")
((((((triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not furry.
False
4
inv-proof
[(((((((triple5) -> rule4)) -> rule3)) -> rule5))]
("Dave" "is" "furry" "-")
((((((triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is nice.
True
7
proof
[(((((triple5) -> rule6) ((((((triple5) -> rule4)) -> rule3)) -> rule5)) -> rule7))]
("Dave" "is" "nice" "+")
((((triple5) -> (rule6 % int5)) ((((((triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is not nice.
False
7
inv-proof
[(((((triple5) -> rule6) ((((((triple5) -> rule4)) -> rule3)) -> rule5)) -> rule7))]
("Dave" "is" "nice" "-")
((((triple5) -> (rule6 % int5)) ((((((triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is round.
True
8
proof
[(((((((triple5) -> rule6) ((((((triple5) -> rule4)) -> rule3)) -> rule5)) -> rule7)) -> rule1))]
("Dave" "is" "round" "+")
((((((triple5) -> (rule6 % int6)) ((((((triple5) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
Dave is not round.
False
8
inv-proof
[(((((((triple5) -> rule6) ((((((triple5) -> rule4)) -> rule3)) -> rule5)) -> rule7)) -> rule1))]
("Dave" "is" "round" "-")
((((((triple5) -> (rule6 % int6)) ((((((triple5) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
Bob is not cold.
Unknown
inv-rconc
[@3: Bob is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule4 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is green.
Unknown
rconc
[@3: Bob is green.[CWA. Example of deepest failure = (rule8 <- rule3 <- rule2 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not furry.
Unknown
inv-rconc
[@3: Bob is furry.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule2 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is blue.
Unknown
rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not nice.
Unknown
inv-rconc
[@4: Bob is nice.[CWA. Example of deepest failure = (rule7 <- rule8 <- rule3 <- rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Anne is cold.[(triple1 OR ((triple3) -> rule4))] Anne is nice.[(triple2 OR ((((triple3) -> rule6) ((((triple1) -> rule3)) -> rule5)) -> rule7) OR ((((triple3) -> rule6) ((((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule7))] Anne is white.[(triple3)] Bob is round.[(triple4)] Dave is white.[(triple5)] Fiona is blue.[(triple6 OR ((triple7) -> rule3))] Fiona is cold.[(triple7 OR ((triple6 ((triple10 triple6) -> rule8)) -> rule2) OR ((triple6 ((((triple9) -> rule1) triple6) -> rule8)) -> rule2))] Fiona is furry.[(triple8 OR ((triple6) -> rule5) OR ((((triple7) -> rule3)) -> rule5))] Fiona is nice.[(triple9 OR ((((triple10 triple6) -> rule8) triple8) -> rule7) OR ((((triple10 triple6) -> rule8) ((triple6) -> rule5)) -> rule7) OR ((((triple10 ((triple7) -> rule3)) -> rule8) triple8) -> rule7) OR ((((triple10 triple6) -> rule8) ((((triple7) -> rule3)) -> rule5)) -> rule7) OR ((((triple10 ((triple7) -> rule3)) -> rule8) ((triple6) -> rule5)) -> rule7) OR ((((triple10 ((triple7) -> rule3)) -> rule8) ((((triple7) -> rule3)) -> rule5)) -> rule7))] Fiona is round.[(triple10 OR ((triple9) -> rule1))] @1: Anne is blue.[(((triple1) -> rule3) OR ((((triple3) -> rule4)) -> rule3))] Anne is green.[(((triple3) -> rule6) OR ((((triple2) -> rule1) ((triple1) -> rule3)) -> rule8) OR ((((triple2) -> rule1) ((((triple3) -> rule4)) -> rule3)) -> rule8))] Anne is round.[(((triple2) -> rule1) OR ((((((triple3) -> rule6) ((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3) -> rule6) ((((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule7)) -> rule1))] Dave is cold.[(((triple5) -> rule4))] Dave is green.[(((triple5) -> rule6))] Fiona is green.[(((triple10 triple6) -> rule8) OR ((triple10 ((triple7) -> rule3)) -> rule8) OR ((((triple9) -> rule1) triple6) -> rule8) OR ((((triple9) -> rule1) ((triple7) -> rule3)) -> rule8))] @2: Anne is furry.[(((((triple1) -> rule3)) -> rule5) OR ((((((triple3) -> rule4)) -> rule3)) -> rule5))] Dave is blue.[(((((triple5) -> rule4)) -> rule3))] @3: Dave is furry.[(((((((triple5) -> rule4)) -> rule3)) -> rule5))] @4: Dave is nice.[(((((triple5) -> rule6) ((((((triple5) -> rule4)) -> rule3)) -> rule5)) -> rule7))] @5: Dave is round.[(((((((triple5) -> rule6) ((((((triple5) -> rule4)) -> rule3)) -> rule5)) -> rule7)) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple3) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
((((triple3) -> (rule6 % int4)) ((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple3) -> (rule6 % int5)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
((triple7) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
((triple6 ((triple10 triple6) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple6 ((((triple9) -> (rule1 % int3)) triple6) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
((triple6) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
((((triple10 triple6) -> (rule8 % int2)) triple8) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple10 triple6) -> (rule8 % int3)) ((triple6) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple10 ((triple7) -> (rule3 % int3))) -> (rule8 % int2)) triple8) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((triple10 triple6) -> (rule8 % int4)) ((((triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((triple10 ((triple7) -> (rule3 % int4))) -> (rule8 % int3)) ((triple6) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple10 ((triple7) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
triple10
((triple9) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
((triple3) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple2) -> (rule1 % int3)) ((triple1) -> (rule3 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple2) -> (rule1 % int4)) ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((((triple3) -> (rule6 % int5)) ((((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple3) -> (rule6 % int6)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
Dave is cold.
("Dave" "is" "cold" "+")
((triple5) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple5) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple10 triple6) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple10 ((triple7) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple9) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple9) -> (rule1 % int3)) ((triple7) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
((((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
((((((triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
((((triple5) -> (rule6 % int5)) ((((((triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
((((((triple5) -> (rule6 % int6)) ((((((triple5) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6