Bob is green. Bob is red. Bob is round. Bob is young. Charlie is red. Dave is green. Dave is kind. Dave is young. Harry is furry. Harry is red. Harry is round. Harry is young. If someone is furry then they are white. All young people are furry. All kind, red people are green. If someone is white then they are round. All green people are red. All red people are kind. If Charlie is round then Charlie is red. If Dave is green then Dave is furry. If someone is green then they are young.
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is furry then they are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
All kind, red people are green.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is white then they are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If Charlie is round then Charlie is red.
((("Charlie" "is" "round" "+")) -> ("Charlie" "is" "red" "+"))
If Dave is green then Dave is furry.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "furry" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Bob is young.
True
1
proof
[(triple4 OR ((triple1) -> rule9) OR ((((((triple2) -> rule6) triple2) -> rule3)) -> rule9))]
("Bob" "is" "young" "+")
triple4
((triple1) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((((triple2) -> (rule6 % int3)) triple2) -> (rule3 % int2))) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Harry is not young.
False
1
inv-proof
[(triple12 OR ((((((triple10) -> rule6) triple10) -> rule3)) -> rule9))]
("Harry" "is" "young" "-")
triple12
((((((triple10) -> (rule6 % int3)) triple10) -> (rule3 % int2))) -> (rule9 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Charlie is kind.
True
2
proof
[(((triple5) -> rule6))]
("Charlie" "is" "kind" "+")
((triple5) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Dave is not furry.
False
2
inv-proof
[(((triple6) -> rule8) OR ((triple8) -> rule2) OR ((((triple6) -> rule9)) -> rule2))]
("Dave" "is" "furry" "-")
((triple6) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple8) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple6) -> (rule9 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
True
3
proof
[(((((triple6) -> rule8)) -> rule1) OR ((((triple8) -> rule2)) -> rule1) OR ((((((triple6) -> rule9)) -> rule2)) -> rule1))]
("Dave" "is" "white" "+")
((((triple6) -> (rule8 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((((triple6) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Bob is not white.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule1) OR ((((((triple1) -> rule9)) -> rule2)) -> rule1) OR ((((((((((triple2) -> rule6) triple2) -> rule3)) -> rule9)) -> rule2)) -> rule1))]
("Bob" "is" "white" "-")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((((triple1) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((((((triple2) -> (rule6 % int5)) triple2) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Dave is round.
True
4
proof
[(((((((triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple8) -> rule2)) -> rule1)) -> rule4) OR ((((((((triple6) -> rule9)) -> rule2)) -> rule1)) -> rule4))]
("Dave" "is" "round" "+")
((((((triple6) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((((triple6) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Charlie is not young.
False
5
inv-proof
[(((((((triple5) -> rule6) triple5) -> rule3)) -> rule9))]
("Charlie" "is" "young" "-")
((((((triple5) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
True
6
proof
[(((((((((triple5) -> rule6) triple5) -> rule3)) -> rule9)) -> rule2))]
("Charlie" "is" "furry" "+")
((((((((triple5) -> (rule6 % int4)) triple5) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is not furry.
False
6
inv-proof
[(((((((((triple5) -> rule6) triple5) -> rule3)) -> rule9)) -> rule2))]
("Charlie" "is" "furry" "-")
((((((((triple5) -> (rule6 % int4)) triple5) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
True
7
proof
[(((((((((((triple5) -> rule6) triple5) -> rule3)) -> rule9)) -> rule2)) -> rule1))]
("Charlie" "is" "white" "+")
((((((((((triple5) -> (rule6 % int5)) triple5) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is not white.
False
7
inv-proof
[(((((((((((triple5) -> rule6) triple5) -> rule3)) -> rule9)) -> rule2)) -> rule1))]
("Charlie" "is" "white" "-")
((((((((((triple5) -> (rule6 % int5)) triple5) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
@0: Bob is green.[(triple1 OR ((((triple2) -> rule6) triple2) -> rule3))] Bob is red.[(triple2 OR ((triple1) -> rule5))] Bob is round.[(triple3 OR ((((((triple4) -> rule2)) -> rule1)) -> rule4) OR ((((((((triple1) -> rule9)) -> rule2)) -> rule1)) -> rule4) OR ((((((((((((triple2) -> rule6) triple2) -> rule3)) -> rule9)) -> rule2)) -> rule1)) -> rule4))] Bob is young.[(triple4 OR ((triple1) -> rule9) OR ((((((triple2) -> rule6) triple2) -> rule3)) -> rule9))] Charlie is red.[(triple5)] Dave is green.[(triple6)] Dave is kind.[(triple7 OR ((((triple6) -> rule5)) -> rule6))] Dave is young.[(triple8 OR ((triple6) -> rule9))] Harry is furry.[(triple9 OR ((triple12) -> rule2) OR ((((((((triple10) -> rule6) triple10) -> rule3)) -> rule9)) -> rule2))] Harry is red.[(triple10)] Harry is round.[(triple11 OR ((((triple9) -> rule1)) -> rule4) OR ((((((triple12) -> rule2)) -> rule1)) -> rule4) OR ((((((((((((triple10) -> rule6) triple10) -> rule3)) -> rule9)) -> rule2)) -> rule1)) -> rule4))] Harry is young.[(triple12 OR ((((((triple10) -> rule6) triple10) -> rule3)) -> rule9))] @1: Bob is furry.[(((triple4) -> rule2) OR ((((triple1) -> rule9)) -> rule2) OR ((((((((triple2) -> rule6) triple2) -> rule3)) -> rule9)) -> rule2))] Bob is kind.[(((triple2) -> rule6) OR ((((triple1) -> rule5)) -> rule6))] Charlie is kind.[(((triple5) -> rule6))] Dave is furry.[(((triple6) -> rule8) OR ((triple8) -> rule2) OR ((((triple6) -> rule9)) -> rule2))] Dave is red.[(((triple6) -> rule5))] Harry is kind.[(((triple10) -> rule6))] Harry is white.[(((triple9) -> rule1) OR ((((triple12) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule6) triple10) -> rule3)) -> rule9)) -> rule2)) -> rule1))] @2: Bob is white.[(((((triple4) -> rule2)) -> rule1) OR ((((((triple1) -> rule9)) -> rule2)) -> rule1) OR ((((((((((triple2) -> rule6) triple2) -> rule3)) -> rule9)) -> rule2)) -> rule1))] Charlie is green.[(((((triple5) -> rule6) triple5) -> rule3))] Dave is white.[(((((triple6) -> rule8)) -> rule1) OR ((((triple8) -> rule2)) -> rule1) OR ((((((triple6) -> rule9)) -> rule2)) -> rule1))] Harry is green.[(((((triple10) -> rule6) triple10) -> rule3))] @3: Charlie is young.[(((((((triple5) -> rule6) triple5) -> rule3)) -> rule9))] Dave is round.[(((((((triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple8) -> rule2)) -> rule1)) -> rule4) OR ((((((((triple6) -> rule9)) -> rule2)) -> rule1)) -> rule4))] @4: Charlie is furry.[(((((((((triple5) -> rule6) triple5) -> rule3)) -> rule9)) -> rule2))] @5: Charlie is white.[(((((((((((triple5) -> rule6) triple5) -> rule3)) -> rule9)) -> rule2)) -> rule1))] @6: Charlie is round.[(((((((((((((triple5) -> rule6) triple5) -> rule3)) -> rule9)) -> rule2)) -> rule1)) -> rule4))]
Bob is green.
("Bob" "is" "green" "+")
triple1
((((triple2) -> (rule6 % int2)) triple2) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple2
((triple1) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple3
((((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((((triple1) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((((((triple2) -> (rule6 % int6)) triple2) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
Bob is young.
("Bob" "is" "young" "+")
triple4
((triple1) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((((triple2) -> (rule6 % int3)) triple2) -> (rule3 % int2))) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
((((triple6) -> (rule5 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
triple8
((triple6) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple9
((triple12) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((((((triple10) -> (rule6 % int4)) triple10) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
((((triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((((triple12) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((((((((triple10) -> (rule6 % int6)) triple10) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
Harry is young.
("Harry" "is" "young" "+")
triple12
((((((triple10) -> (rule6 % int3)) triple10) -> (rule3 % int2))) -> (rule9 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
((triple4) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple1) -> (rule9 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((((triple2) -> (rule6 % int4)) triple2) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((triple6) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple8) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple6) -> (rule9 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple10) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple9) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((((((((triple10) -> (rule6 % int5)) triple10) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((((triple1) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((((((triple2) -> (rule6 % int5)) triple2) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Charlie is green.
("Charlie" "is" "green" "+")
((((triple5) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((((triple6) -> (rule8 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((((triple6) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((((triple10) -> (rule6 % int2)) triple10) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((((triple5) -> (rule6 % int3)) triple5) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
((((((triple6) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((((triple6) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
((((((((triple5) -> (rule6 % int4)) triple5) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
((((((((((triple5) -> (rule6 % int5)) triple5) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is round.
("Charlie" "is" "round" "+")
((((((((((((triple5) -> (rule6 % int6)) triple5) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6