Charlie is furry. Charlie is red. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is white. Dave is young. Erin is furry. Erin is kind. Erin is nice. Erin is red. Harry is cold. Harry is kind. Harry is white. White people are kind. If someone is kind and young then they are red. If someone is kind and white then they are nice. Red, furry people are nice. All young, nice people are red. All kind, nice people are cold. If someone is nice then they are young. If Charlie is nice then Charlie is kind.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is white.
("Harry" "is" "white" "+")
White people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and white then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
Red, furry people are nice.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
All young, nice people are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
All kind, nice people are cold.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice then they are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If Charlie is nice then Charlie is kind.
((("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "kind" "+"))
Dave is young.
True
1
proof
[(triple9 OR ((triple6) -> rule7) OR ((((triple5 triple8) -> rule3)) -> rule7) OR ((((triple7 triple4) -> rule4)) -> rule7) OR ((((((triple8) -> rule1) triple8) -> rule3)) -> rule7))]
("Dave" "is" "young" "+")
triple9
((triple6) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple5 triple8) -> (rule3 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple7 triple4) -> (rule4 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((((triple8) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not red.
False
1
inv-proof
[(triple7 OR ((triple5 triple9) -> rule2) OR ((triple9 triple6) -> rule5) OR ((triple5 ((triple6) -> rule7)) -> rule2) OR ((triple9 ((triple5 triple8) -> rule3)) -> rule5) OR ((((triple6) -> rule7) triple6) -> rule5) OR ((((triple8) -> rule1) triple9) -> rule2) OR ((((triple6) -> rule7) ((triple5 triple8) -> rule3)) -> rule5) OR ((((triple8) -> rule1) ((triple6) -> rule7)) -> rule2) OR ((triple5 ((((triple5 triple8) -> rule3)) -> rule7)) -> rule2) OR ((triple9 ((((triple8) -> rule1) triple8) -> rule3)) -> rule5) OR ((((((triple5 triple8) -> rule3)) -> rule7) triple6) -> rule5) OR ((((triple6) -> rule7) ((((triple8) -> rule1) triple8) -> rule3)) -> rule5) OR ((((triple8) -> rule1) ((((triple5 triple8) -> rule3)) -> rule7)) -> rule2) OR ((((((triple5 triple8) -> rule3)) -> rule7) ((triple5 triple8) -> rule3)) -> rule5) OR ((((((triple5 triple8) -> rule3)) -> rule7) ((((triple8) -> rule1) triple8) -> rule3)) -> rule5) OR ((triple5 ((((((triple8) -> rule1) triple8) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule1) triple8) -> rule3)) -> rule7) triple6) -> rule5) OR ((((triple8) -> rule1) ((((((triple8) -> rule1) triple8) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule1) triple8) -> rule3)) -> rule7) ((triple5 triple8) -> rule3)) -> rule5) OR ((((((((triple8) -> rule1) triple8) -> rule3)) -> rule7) ((((triple8) -> rule1) triple8) -> rule3)) -> rule5))]
("Dave" "is" "red" "-")
triple7
((triple5 triple9) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple9 triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple5 ((triple6) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((triple9 ((triple5 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple6) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple8) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple6) -> (rule7 % int3)) ((triple5 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((triple8) -> (rule1 % int3)) ((triple6) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple5 ((((triple5 triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple9 ((((triple8) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple5 triple8) -> (rule3 % int3))) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple6) -> (rule7 % int4)) ((((triple8) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((triple8) -> (rule1 % int4)) ((((triple5 triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple5 triple8) -> (rule3 % int3))) -> (rule7 % int2)) ((triple5 triple8) -> (rule3 % int3))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple5 triple8) -> (rule3 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule1 % int2)) triple8) -> (rule3 % int4))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple5 ((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple8) -> (rule1 % int4)) ((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2)) ((triple5 triple8) -> (rule3 % int3))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Charlie is nice.
True
3
proof
[(((triple2 triple1) -> rule4))]
("Charlie" "is" "nice" "+")
((triple2 triple1) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple2 triple1) -> rule4))]
("Charlie" "is" "nice" "-")
((triple2 triple1) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Charlie is furry.[(triple1)] Charlie is red.[(triple2)] Dave is cold.[(triple3 OR ((triple5 triple6) -> rule6) OR ((triple5 ((triple5 triple8) -> rule3)) -> rule6) OR ((triple5 ((triple7 triple4) -> rule4)) -> rule6) OR ((((triple8) -> rule1) triple6) -> rule6) OR ((((triple8) -> rule1) ((triple5 triple8) -> rule3)) -> rule6) OR ((((triple8) -> rule1) ((triple7 triple4) -> rule4)) -> rule6) OR ((triple5 ((((triple8) -> rule1) triple8) -> rule3)) -> rule6) OR ((triple5 ((((triple5 triple9) -> rule2) triple4) -> rule4)) -> rule6) OR ((((triple8) -> rule1) ((((triple8) -> rule1) triple8) -> rule3)) -> rule6) OR ((((triple8) -> rule1) ((((triple5 triple9) -> rule2) triple4) -> rule4)) -> rule6) OR ((triple5 ((((((triple8) -> rule1) triple9) -> rule2) triple4) -> rule4)) -> rule6) OR ((((triple8) -> rule1) ((((((triple8) -> rule1) triple9) -> rule2) triple4) -> rule4)) -> rule6))] Dave is furry.[(triple4)] Dave is kind.[(triple5 OR ((triple8) -> rule1))] Dave is nice.[(triple6 OR ((triple5 triple8) -> rule3) OR ((triple7 triple4) -> rule4) OR ((((triple8) -> rule1) triple8) -> rule3) OR ((((triple5 triple9) -> rule2) triple4) -> rule4) OR ((((((triple8) -> rule1) triple9) -> rule2) triple4) -> rule4))] Dave is red.[(triple7 OR ((triple5 triple9) -> rule2) OR ((triple9 triple6) -> rule5) OR ((triple5 ((triple6) -> rule7)) -> rule2) OR ((triple9 ((triple5 triple8) -> rule3)) -> rule5) OR ((((triple6) -> rule7) triple6) -> rule5) OR ((((triple8) -> rule1) triple9) -> rule2) OR ((((triple6) -> rule7) ((triple5 triple8) -> rule3)) -> rule5) OR ((((triple8) -> rule1) ((triple6) -> rule7)) -> rule2) OR ((triple5 ((((triple5 triple8) -> rule3)) -> rule7)) -> rule2) OR ((triple9 ((((triple8) -> rule1) triple8) -> rule3)) -> rule5) OR ((((((triple5 triple8) -> rule3)) -> rule7) triple6) -> rule5) OR ((((triple6) -> rule7) ((((triple8) -> rule1) triple8) -> rule3)) -> rule5) OR ((((triple8) -> rule1) ((((triple5 triple8) -> rule3)) -> rule7)) -> rule2) OR ((((((triple5 triple8) -> rule3)) -> rule7) ((triple5 triple8) -> rule3)) -> rule5) OR ((((((triple5 triple8) -> rule3)) -> rule7) ((((triple8) -> rule1) triple8) -> rule3)) -> rule5) OR ((triple5 ((((((triple8) -> rule1) triple8) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule1) triple8) -> rule3)) -> rule7) triple6) -> rule5) OR ((((triple8) -> rule1) ((((((triple8) -> rule1) triple8) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule1) triple8) -> rule3)) -> rule7) ((triple5 triple8) -> rule3)) -> rule5) OR ((((((((triple8) -> rule1) triple8) -> rule3)) -> rule7) ((((triple8) -> rule1) triple8) -> rule3)) -> rule5))] Dave is white.[(triple8)] Dave is young.[(triple9 OR ((triple6) -> rule7) OR ((((triple5 triple8) -> rule3)) -> rule7) OR ((((triple7 triple4) -> rule4)) -> rule7) OR ((((((triple8) -> rule1) triple8) -> rule3)) -> rule7))] Erin is furry.[(triple10)] Erin is kind.[(triple11)] Erin is nice.[(triple12 OR ((triple13 triple10) -> rule4))] Erin is red.[(triple13 OR ((triple11 ((triple12) -> rule7)) -> rule2) OR ((((triple12) -> rule7) triple12) -> rule5))] Harry is cold.[(triple14 OR ((triple15 ((triple15 triple16) -> rule3)) -> rule6) OR ((((triple16) -> rule1) ((triple15 triple16) -> rule3)) -> rule6) OR ((triple15 ((((triple16) -> rule1) triple16) -> rule3)) -> rule6) OR ((((triple16) -> rule1) ((((triple16) -> rule1) triple16) -> rule3)) -> rule6))] Harry is kind.[(triple15 OR ((triple16) -> rule1))] Harry is white.[(triple16)] @1: Charlie is nice.[(((triple2 triple1) -> rule4))] Erin is cold.[(((triple11 triple12) -> rule6) OR ((triple11 ((triple13 triple10) -> rule4)) -> rule6))] Erin is young.[(((triple12) -> rule7) OR ((((triple13 triple10) -> rule4)) -> rule7))] Harry is nice.[(((triple15 triple16) -> rule3) OR ((((triple16) -> rule1) triple16) -> rule3))] @2: Charlie is kind.[(((((triple2 triple1) -> rule4)) -> rule8))] Charlie is young.[(((((triple2 triple1) -> rule4)) -> rule7))] Harry is young.[(((((triple15 triple16) -> rule3)) -> rule7) OR ((((((triple16) -> rule1) triple16) -> rule3)) -> rule7))] @3: Charlie is cold.[(((((((triple2 triple1) -> rule4)) -> rule8) ((triple2 triple1) -> rule4)) -> rule6))] Harry is red.[(((triple15 ((((triple15 triple16) -> rule3)) -> rule7)) -> rule2) OR ((((triple16) -> rule1) ((((triple15 triple16) -> rule3)) -> rule7)) -> rule2) OR ((((((triple15 triple16) -> rule3)) -> rule7) ((triple15 triple16) -> rule3)) -> rule5) OR ((((((triple15 triple16) -> rule3)) -> rule7) ((((triple16) -> rule1) triple16) -> rule3)) -> rule5) OR ((triple15 ((((((triple16) -> rule1) triple16) -> rule3)) -> rule7)) -> rule2) OR ((((triple16) -> rule1) ((((((triple16) -> rule1) triple16) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple16) -> rule1) triple16) -> rule3)) -> rule7) ((triple15 triple16) -> rule3)) -> rule5) OR ((((((((triple16) -> rule1) triple16) -> rule3)) -> rule7) ((((triple16) -> rule1) triple16) -> rule3)) -> rule5))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
((triple5 triple6) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple5 ((triple5 triple8) -> (rule3 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((triple5 ((triple7 triple4) -> (rule4 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple8) -> (rule1 % int2)) triple6) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple8) -> (rule1 % int3)) ((triple5 triple8) -> (rule3 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple8) -> (rule1 % int3)) ((triple7 triple4) -> (rule4 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple5 ((((triple8) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple5 ((((triple5 triple9) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple8) -> (rule1 % int3)) ((((triple8) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple8) -> (rule1 % int4)) ((((triple5 triple9) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((triple5 ((((((triple8) -> (rule1 % int4)) triple9) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple8) -> (rule1 % int4)) ((((((triple8) -> (rule1 % int4)) triple9) -> (rule2 % int3)) triple4) -> (rule4 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
((triple8) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple6
((triple5 triple8) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple7 triple4) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple8) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple5 triple9) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((((triple8) -> (rule1 % int3)) triple9) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
triple7
((triple5 triple9) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple9 triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple5 ((triple6) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((triple9 ((triple5 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple6) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple8) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple6) -> (rule7 % int3)) ((triple5 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((triple8) -> (rule1 % int3)) ((triple6) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple5 ((((triple5 triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple9 ((((triple8) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple5 triple8) -> (rule3 % int3))) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple6) -> (rule7 % int4)) ((((triple8) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((triple8) -> (rule1 % int4)) ((((triple5 triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple5 triple8) -> (rule3 % int3))) -> (rule7 % int2)) ((triple5 triple8) -> (rule3 % int3))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple5 triple8) -> (rule3 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule1 % int2)) triple8) -> (rule3 % int4))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple5 ((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple8) -> (rule1 % int4)) ((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2)) ((triple5 triple8) -> (rule3 % int3))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
((triple6) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple5 triple8) -> (rule3 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple7 triple4) -> (rule4 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((((triple8) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
triple10
Erin is kind.
("Erin" "is" "kind" "+")
triple11
Erin is nice.
("Erin" "is" "nice" "+")
triple12
((triple13 triple10) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple13
((triple11 ((triple12) -> (rule7 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple12) -> (rule7 % int2)) triple12) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple14
((triple15 ((triple15 triple16) -> (rule3 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple16) -> (rule1 % int3)) ((triple15 triple16) -> (rule3 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple15 ((((triple16) -> (rule1 % int3)) triple16) -> (rule3 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple16) -> (rule1 % int3)) ((((triple16) -> (rule1 % int3)) triple16) -> (rule3 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
triple15
((triple16) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple16
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2 triple1) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple11 triple12) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple11 ((triple13 triple10) -> (rule4 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
((triple12) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple13 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple15 triple16) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple16) -> (rule1 % int2)) triple16) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple2 triple1) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple2 triple1) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple15 triple16) -> (rule3 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((((triple16) -> (rule1 % int3)) triple16) -> (rule3 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((((((triple2 triple1) -> (rule4 % int3))) -> (rule8 % int2)) ((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((triple15 ((((triple15 triple16) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple16) -> (rule1 % int4)) ((((triple15 triple16) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple15 triple16) -> (rule3 % int3))) -> (rule7 % int2)) ((triple15 triple16) -> (rule3 % int3))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple15 triple16) -> (rule3 % int4))) -> (rule7 % int3)) ((((triple16) -> (rule1 % int2)) triple16) -> (rule3 % int4))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((triple15 ((((((triple16) -> (rule1 % int4)) triple16) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple16) -> (rule1 % int4)) ((((((triple16) -> (rule1 % int4)) triple16) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((((triple16) -> (rule1 % int4)) triple16) -> (rule3 % int3))) -> (rule7 % int2)) ((triple15 triple16) -> (rule3 % int3))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((((triple16) -> (rule1 % int4)) triple16) -> (rule3 % int3))) -> (rule7 % int2)) ((((triple16) -> (rule1 % int4)) triple16) -> (rule3 % int3))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4