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