Anne is blue. Anne is furry. Dave is blue. Dave is furry. Erin is big. Erin is furry. Erin is green. Erin is round. Erin is young. Harry is big. Harry is green. Harry is young. All blue people are young. Blue people are furry. All green people are cold. All green, young people are cold. All young people are green. If someone is cold and not blue then they are green. If someone is cold then they are big. Big people are round.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
All blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
All green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
All green, young people are cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
All young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and not blue then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "green" "+"))
If someone is cold then they are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Dave is furry.
True
1
proof
[(triple4 OR ((triple3) -> rule2))]
("Dave" "is" "furry" "+")
triple4
((triple3) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not furry.
False
1
inv-proof
[(triple4 OR ((triple3) -> rule2))]
("Dave" "is" "furry" "-")
triple4
((triple3) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Harry is cold.
True
2
proof
[(((triple11) -> rule3) OR ((triple11 triple12) -> rule4) OR ((((triple12) -> rule5)) -> rule3) OR ((((triple12) -> rule5) triple12) -> rule4))]
("Harry" "is" "cold" "+")
((triple11) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple11 triple12) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple12) -> (rule5 % int2)) triple12) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not cold.
False
2
inv-proof
[(((triple11) -> rule3) OR ((triple11 triple12) -> rule4) OR ((((triple12) -> rule5)) -> rule3) OR ((((triple12) -> rule5) triple12) -> rule4))]
("Harry" "is" "cold" "-")
((triple11) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple11 triple12) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple12) -> (rule5 % int2)) triple12) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Dave is green.
True
3
proof
[(((((triple3) -> rule1)) -> rule5))]
("Dave" "is" "green" "+")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not green.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule5))]
("Dave" "is" "green" "-")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Anne is cold.
True
4
proof
[(((((((triple1) -> rule1)) -> rule5)) -> rule3) OR ((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule4))]
("Anne" "is" "cold" "+")
((((((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple1) -> (rule1 % int3))) -> (rule5 % int2)) ((triple1) -> (rule1 % int3))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is not cold.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule5)) -> rule3) OR ((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule4))]
("Anne" "is" "cold" "-")
((((((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple1) -> (rule1 % int3))) -> (rule5 % int2)) ((triple1) -> (rule1 % int3))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Dave is big.
True
5
proof
[(((((((((triple3) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule5) ((triple3) -> rule1)) -> rule4)) -> rule7))]
("Dave" "is" "big" "+")
((((((((triple3) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule5 % int3)) ((triple3) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Anne is not big.
False
5
inv-proof
[(((((((((triple1) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule4)) -> rule7))]
("Anne" "is" "big" "-")
((((((((triple1) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple1) -> (rule1 % int4))) -> (rule5 % int3)) ((triple1) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Dave is round.
True
6
proof
[(((((((((((triple3) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule8) OR ((((((((((triple3) -> rule1)) -> rule5) ((triple3) -> rule1)) -> rule4)) -> rule7)) -> rule8))]
("Dave" "is" "round" "+")
((((((((((triple3) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule5 % int4)) ((triple3) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Anne is not round.
False
6
inv-proof
[(((((((((((triple1) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule8) OR ((((((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule4)) -> rule7)) -> rule8))]
("Anne" "is" "round" "-")
((((((((((triple1) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((((triple1) -> (rule1 % int5))) -> (rule5 % int4)) ((triple1) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "furry" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple1) -> rule2))] Dave is blue.[(triple3)] Dave is furry.[(triple4 OR ((triple3) -> rule2))] Erin is big.[(triple5 OR ((((triple7) -> rule3)) -> rule7) OR ((((triple7 triple9) -> rule4)) -> rule7) OR ((((((triple9) -> rule5)) -> rule3)) -> rule7) OR ((((((triple9) -> rule5) triple9) -> rule4)) -> rule7))] Erin is furry.[(triple6)] Erin is green.[(triple7 OR ((triple9) -> rule5))] Erin is round.[(triple8 OR ((triple5) -> rule8) OR ((((((triple7) -> rule3)) -> rule7)) -> rule8) OR ((((((triple7 triple9) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple9) -> rule5)) -> rule3)) -> rule7)) -> rule8) OR ((((((((triple9) -> rule5) triple9) -> rule4)) -> rule7)) -> rule8))] Erin is young.[(triple9)] Harry is big.[(triple10 OR ((((triple11) -> rule3)) -> rule7) OR ((((triple11 triple12) -> rule4)) -> rule7) OR ((((((triple12) -> rule5)) -> rule3)) -> rule7) OR ((((((triple12) -> rule5) triple12) -> rule4)) -> rule7))] Harry is green.[(triple11 OR ((triple12) -> rule5))] Harry is young.[(triple12)] @1: Anne is young.[(((triple1) -> rule1))] Dave is young.[(((triple3) -> rule1))] Erin is cold.[(((triple7) -> rule3) OR ((triple7 triple9) -> rule4) OR ((((triple9) -> rule5)) -> rule3) OR ((((triple9) -> rule5) triple9) -> rule4))] Harry is cold.[(((triple11) -> rule3) OR ((triple11 triple12) -> rule4) OR ((((triple12) -> rule5)) -> rule3) OR ((((triple12) -> rule5) triple12) -> rule4))] Harry is round.[(((triple10) -> rule8) OR ((((((triple11) -> rule3)) -> rule7)) -> rule8) OR ((((((triple11 triple12) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple12) -> rule5)) -> rule3)) -> rule7)) -> rule8) OR ((((((((triple12) -> rule5) triple12) -> rule4)) -> rule7)) -> rule8))] @2: Anne is green.[(((((triple1) -> rule1)) -> rule5))] Dave is green.[(((((triple3) -> rule1)) -> rule5))] @3: Anne is cold.[(((((((triple1) -> rule1)) -> rule5)) -> rule3) OR ((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule4))] Dave is cold.[(((((((triple3) -> rule1)) -> rule5)) -> rule3) OR ((((((triple3) -> rule1)) -> rule5) ((triple3) -> rule1)) -> rule4))] @4: Anne is big.[(((((((((triple1) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule4)) -> rule7))] Dave is big.[(((((((((triple3) -> rule1)) -> rule5)) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule5) ((triple3) -> rule1)) -> rule4)) -> rule7))] @5: Anne is round.[(((((((((((triple1) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule8) OR ((((((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule4)) -> rule7)) -> rule8))] Dave is round.[(((((((((((triple3) -> rule1)) -> rule5)) -> rule3)) -> rule7)) -> rule8) OR ((((((((((triple3) -> rule1)) -> rule5) ((triple3) -> rule1)) -> rule4)) -> rule7)) -> rule8))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
((triple3) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
triple5
((((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple7 triple9) -> (rule4 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple9) -> (rule5 % int3)) triple9) -> (rule4 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
((triple9) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple8
((triple5) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple7 triple9) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((((triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple9) -> (rule5 % int4)) triple9) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
((((triple11) -> (rule3 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple11 triple12) -> (rule4 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((((triple12) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple12) -> (rule5 % int3)) triple12) -> (rule4 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
triple11
((triple12) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple12
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple3) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple7) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple7 triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple9) -> (rule5 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple9) -> (rule5 % int2)) triple9) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple11) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple11 triple12) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple12) -> (rule5 % int2)) triple12) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple10) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((((triple11) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((((triple11 triple12) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((((((triple12) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple12) -> (rule5 % int4)) triple12) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
((((((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple1) -> (rule1 % int3))) -> (rule5 % int2)) ((triple1) -> (rule1 % int3))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((((((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple3) -> (rule1 % int3))) -> (rule5 % int2)) ((triple3) -> (rule1 % int3))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
((((((((triple1) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple1) -> (rule1 % int4))) -> (rule5 % int3)) ((triple1) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
((((((((triple3) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule5 % int3)) ((triple3) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
((((((((((triple1) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((((triple1) -> (rule1 % int5))) -> (rule5 % int4)) ((triple1) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
((((((((((triple3) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule5 % int4)) ((triple3) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5