Anne is big. Anne is red. Anne is young. Charlie is big. Charlie is cold. Charlie is kind. Charlie is young. Dave is big. Dave is cold. Dave is kind. Dave is rough. Dave is young. Harry is big. Harry is cold. Harry is furry. Harry is rough. All big things are furry. If something is furry and young then it is red. Kind things are young. Kind, furry things are big. If something is young then it is kind. Rough things are big. If something is young then it is rough. All red things are young.
Anne is big.
("Anne" "is" "big" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All big things are furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
If something is furry and young then it is red.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
Kind, furry things are big.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If something is young then it is kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something is young then it is rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
All red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
Dave is cold.
True
1
proof
[(triple9)]
("Dave" "is" "cold" "+")
triple9
Anne is not young.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule8))]
("Anne" "is" "young" "-")
triple3
((triple2) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is furry.
True
2
proof
[(((triple8) -> rule1) OR ((((triple11) -> rule6)) -> rule1) OR ((((((triple12) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple10) -> rule3)) -> rule7)) -> rule6)) -> rule1))]
("Dave" "is" "furry" "+")
((triple8) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple11) -> (rule6 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((((triple12) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((((triple10) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule1) OR ((((((triple3) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule1))]
("Anne" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((((triple2) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Charlie is red.
True
4
proof
[(((((triple4) -> rule1) triple7) -> rule2) OR ((((triple4) -> rule1) ((triple6) -> rule3)) -> rule2) OR ((((((((triple7) -> rule7)) -> rule6)) -> rule1) triple7) -> rule2) OR ((((((((triple7) -> rule7)) -> rule6)) -> rule1) ((triple6) -> rule3)) -> rule2) OR ((((((((((triple6) -> rule3)) -> rule7)) -> rule6)) -> rule1) triple7) -> rule2) OR ((((((((((triple6) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((triple6) -> rule3)) -> rule2))]
("Charlie" "is" "red" "+")
((((triple4) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple4) -> (rule1 % int3)) ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((((triple7) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((triple7) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((((triple6) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((((triple6) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple6) -> (rule3 % int5))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Dave is not red.
False
4
inv-proof
[(((((triple8) -> rule1) triple12) -> rule2) OR ((((triple8) -> rule1) ((triple10) -> rule3)) -> rule2) OR ((((((triple11) -> rule6)) -> rule1) triple12) -> rule2) OR ((((((triple11) -> rule6)) -> rule1) ((triple10) -> rule3)) -> rule2) OR ((((((((triple12) -> rule7)) -> rule6)) -> rule1) triple12) -> rule2) OR ((((((((triple12) -> rule7)) -> rule6)) -> rule1) ((triple10) -> rule3)) -> rule2) OR ((((((((((triple10) -> rule3)) -> rule7)) -> rule6)) -> rule1) triple12) -> rule2) OR ((((((((((triple10) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((triple10) -> rule3)) -> rule2))]
("Dave" "is" "red" "-")
((((triple8) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple8) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple11) -> (rule6 % int3))) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple11) -> (rule6 % int4))) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple12) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple12) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((((triple10) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((((((triple10) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple10) -> (rule3 % int5))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Harry is not red.
Unknown
inv-rconc
[@4: Harry is red.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule5 <- rule8 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is young.
Unknown
rconc
[@4: Harry is young.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule8 <- rule2 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not kind.
Unknown
inv-rconc
[@4: Harry is kind.[CWA. Example of deepest failure = (rule5 <- rule8 <- rule2 <- rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is big.[(triple1 OR ((((triple3) -> rule7)) -> rule6) OR ((((((triple2) -> rule8)) -> rule7)) -> rule6))] Anne is red.[(triple2 OR ((((triple1) -> rule1) triple3) -> rule2) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule1) triple3) -> rule2))] Anne is young.[(triple3 OR ((triple2) -> rule8))] Charlie is big.[(triple4 OR ((((triple7) -> rule7)) -> rule6) OR ((((((triple6) -> rule3)) -> rule7)) -> rule6))] Charlie is cold.[(triple5)] Charlie is kind.[(triple6 OR ((triple7) -> rule5))] Charlie is young.[(triple7 OR ((triple6) -> rule3))] Dave is big.[(triple8 OR ((triple11) -> rule6) OR ((((triple12) -> rule7)) -> rule6) OR ((((((triple10) -> rule3)) -> rule7)) -> rule6))] Dave is cold.[(triple9)] Dave is kind.[(triple10 OR ((triple12) -> rule5))] Dave is rough.[(triple11 OR ((triple12) -> rule7) OR ((((triple10) -> rule3)) -> rule7))] Dave is young.[(triple12 OR ((triple10) -> rule3))] Harry is big.[(triple13 OR ((triple16) -> rule6))] Harry is cold.[(triple14)] Harry is furry.[(triple15 OR ((triple13) -> rule1) OR ((((triple16) -> rule6)) -> rule1))] Harry is rough.[(triple16)] @1: Anne is furry.[(((triple1) -> rule1) OR ((((((triple3) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule1))] Anne is kind.[(((triple3) -> rule5) OR ((((triple2) -> rule8)) -> rule5))] Anne is rough.[(((triple3) -> rule7) OR ((((triple2) -> rule8)) -> rule7))] Charlie is furry.[(((triple4) -> rule1) OR ((((((triple7) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule7)) -> rule6)) -> rule1))] Charlie is rough.[(((triple7) -> rule7) OR ((((triple6) -> rule3)) -> rule7))] Dave is furry.[(((triple8) -> rule1) OR ((((triple11) -> rule6)) -> rule1) OR ((((((triple12) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple10) -> rule3)) -> rule7)) -> rule6)) -> rule1))] @2: Charlie is red.[(((((triple4) -> rule1) triple7) -> rule2) OR ((((triple4) -> rule1) ((triple6) -> rule3)) -> rule2) OR ((((((((triple7) -> rule7)) -> rule6)) -> rule1) triple7) -> rule2) OR ((((((((triple7) -> rule7)) -> rule6)) -> rule1) ((triple6) -> rule3)) -> rule2) OR ((((((((((triple6) -> rule3)) -> rule7)) -> rule6)) -> rule1) triple7) -> rule2) OR ((((((((((triple6) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((triple6) -> rule3)) -> rule2))] Dave is red.[(((((triple8) -> rule1) triple12) -> rule2) OR ((((triple8) -> rule1) ((triple10) -> rule3)) -> rule2) OR ((((((triple11) -> rule6)) -> rule1) triple12) -> rule2) OR ((((((triple11) -> rule6)) -> rule1) ((triple10) -> rule3)) -> rule2) OR ((((((((triple12) -> rule7)) -> rule6)) -> rule1) triple12) -> rule2) OR ((((((((triple12) -> rule7)) -> rule6)) -> rule1) ((triple10) -> rule3)) -> rule2) OR ((((((((((triple10) -> rule3)) -> rule7)) -> rule6)) -> rule1) triple12) -> rule2) OR ((((((((((triple10) -> rule3)) -> rule7)) -> rule6)) -> rule1) ((triple10) -> rule3)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
triple2
((((triple1) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((((((triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
triple3
((triple2) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
triple4
((((triple7) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((((triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
((triple7) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple7
((triple6) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
triple8
((triple11) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple12) -> (rule7 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((((triple10) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple10
((triple12) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple11
((triple12) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple10) -> (rule3 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
triple12
((triple10) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple13
((triple16) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple14
Harry is furry.
("Harry" "is" "furry" "+")
triple15
((triple13) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple16) -> (rule6 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
triple16
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((((triple2) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
((triple3) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
((triple3) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((((triple7) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((((triple6) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple7) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
((triple8) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple11) -> (rule6 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((((triple12) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((((triple10) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
((((triple4) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple4) -> (rule1 % int3)) ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((((triple7) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((triple7) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((((triple6) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((((triple6) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple6) -> (rule3 % int5))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
((((triple8) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple8) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple11) -> (rule6 % int3))) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple11) -> (rule6 % int4))) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple12) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple12) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((((triple10) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((((((triple10) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple10) -> (rule3 % int5))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5