Bob is green. Bob is quiet. Bob is red. Charlie is cold. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Erin is green. Erin is red. Gary is furry. Gary is green. Gary is quiet. All red people are kind. All furry people are smart. If someone is kind and quiet then they are cold. If someone is red and kind then they are furry. Furry people are green. Smart people are quiet. If Charlie is quiet then Charlie is red. Smart people are furry.
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
All furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If someone is kind and quiet then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and kind then they are furry.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
Furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Smart people are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
If Charlie is quiet then Charlie is red.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "red" "+"))
Smart people are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Gary is green.
True
1
proof
[(triple13 OR ((triple12) -> rule5))]
("Gary" "is" "green" "+")
triple13
((triple12) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Bob is not green.
False
1
inv-proof
[(triple1 OR ((((triple3 ((triple3) -> rule1)) -> rule4)) -> rule5))]
("Bob" "is" "green" "-")
triple1
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Erin is kind.
True
2
proof
[(((triple11) -> rule1))]
("Erin" "is" "kind" "+")
((triple11) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Bob is not kind.
False
2
inv-proof
[(((triple3) -> rule1))]
("Bob" "is" "kind" "-")
((triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
True
4
proof
[(((triple3 ((triple3) -> rule1)) -> rule4))]
("Bob" "is" "furry" "+")
((triple3 ((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not cold.
False
4
inv-proof
[(((((triple3) -> rule1) triple2) -> rule3) OR ((((triple3) -> rule1) ((((((triple3 ((triple3) -> rule1)) -> rule4)) -> rule2)) -> rule6)) -> rule3))]
("Bob" "is" "cold" "-")
((((triple3) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple3) -> (rule1 % int5)) ((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Erin is smart.
True
5
proof
[(((((triple11 ((triple11) -> rule1)) -> rule4)) -> rule2))]
("Erin" "is" "smart" "+")
((((triple11 ((triple11) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Bob is not smart.
False
5
inv-proof
[(((((triple3 ((triple3) -> rule1)) -> rule4)) -> rule2))]
("Bob" "is" "smart" "-")
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Erin is quiet.
True
6
proof
[(((((((triple11 ((triple11) -> rule1)) -> rule4)) -> rule2)) -> rule6))]
("Erin" "is" "quiet" "+")
((((((triple11 ((triple11) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is not quiet.
False
6
inv-proof
[(((((((triple11 ((triple11) -> rule1)) -> rule4)) -> rule2)) -> rule6))]
("Erin" "is" "quiet" "-")
((((((triple11 ((triple11) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is cold.
True
9
proof
[(((((triple11) -> rule1) ((((((triple11 ((triple11) -> rule1)) -> rule4)) -> rule2)) -> rule6)) -> rule3))]
("Erin" "is" "cold" "+")
((((triple11) -> (rule1 % int5)) ((((((triple11 ((triple11) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is not cold.
False
9
inv-proof
[(((((triple11) -> rule1) ((((((triple11 ((triple11) -> rule1)) -> rule4)) -> rule2)) -> rule6)) -> rule3))]
("Erin" "is" "cold" "-")
((((triple11) -> (rule1 % int5)) ((((((triple11 ((triple11) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Gary is not cold.
Unknown
inv-rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
@0: Bob is green.[(triple1 OR ((((triple3 ((triple3) -> rule1)) -> rule4)) -> rule5))] Bob is quiet.[(triple2 OR ((((((triple3 ((triple3) -> rule1)) -> rule4)) -> rule2)) -> rule6))] Bob is red.[(triple3)] Charlie is cold.[(triple4 OR ((triple6 triple7) -> rule3) OR ((triple6 ((triple9) -> rule6)) -> rule3) OR ((((triple8) -> rule1) triple7) -> rule3) OR ((((triple8) -> rule1) ((triple9) -> rule6)) -> rule3) OR ((((((triple7) -> rule7)) -> rule1) triple7) -> rule3) OR ((((((triple7) -> rule7)) -> rule1) ((triple9) -> rule6)) -> rule3) OR ((triple6 ((((((triple8 triple6) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule1) triple7) -> rule3) OR ((((triple8) -> rule1) ((((((triple8 triple6) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule1) ((triple9) -> rule6)) -> rule3) OR ((((((triple7) -> rule7)) -> rule1) ((((((triple8 triple6) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule1) ((((((triple8 triple6) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((triple6 ((((((triple8 ((triple8) -> rule1)) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((triple8) -> rule1) ((((((triple8 ((triple8) -> rule1)) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple7) -> rule7)) -> rule1) ((((((triple8 ((triple8) -> rule1)) -> rule4)) -> rule2)) -> rule6)) -> rule3) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule1) ((((((triple8 ((triple8) -> rule1)) -> rule4)) -> rule2)) -> rule6)) -> rule3))] Charlie is green.[(triple5 OR ((((triple9) -> rule8)) -> rule5) OR ((((triple8 triple6) -> rule4)) -> rule5) OR ((((triple8 ((triple8) -> rule1)) -> rule4)) -> rule5) OR ((((((triple7) -> rule7) triple6) -> rule4)) -> rule5) OR ((((((triple7) -> rule7) ((triple8) -> rule1)) -> rule4)) -> rule5) OR ((((triple8 ((((triple7) -> rule7)) -> rule1)) -> rule4)) -> rule5) OR ((((((((triple9) -> rule6)) -> rule7) triple6) -> rule4)) -> rule5) OR ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule1)) -> rule4)) -> rule5) OR ((((((((triple9) -> rule6)) -> rule7) ((triple8) -> rule1)) -> rule4)) -> rule5) OR ((((((((triple9) -> rule6)) -> rule7) ((((triple7) -> rule7)) -> rule1)) -> rule4)) -> rule5) OR ((((triple8 ((((((triple9) -> rule6)) -> rule7)) -> rule1)) -> rule4)) -> rule5) OR ((((((triple7) -> rule7) ((((((triple9) -> rule6)) -> rule7)) -> rule1)) -> rule4)) -> rule5) OR ((((((((triple9) -> rule6)) -> rule7) ((((((triple9) -> rule6)) -> rule7)) -> rule1)) -> rule4)) -> rule5))] Charlie is kind.[(triple6 OR ((triple8) -> rule1) OR ((((triple7) -> rule7)) -> rule1) OR ((((((triple9) -> rule6)) -> rule7)) -> rule1))] Charlie is quiet.[(triple7 OR ((triple9) -> rule6) OR ((((((triple8 triple6) -> rule4)) -> rule2)) -> rule6) OR ((((((triple8 ((triple8) -> rule1)) -> rule4)) -> rule2)) -> rule6))] Charlie is red.[(triple8 OR ((triple7) -> rule7) OR ((((triple9) -> rule6)) -> rule7))] Charlie is smart.[(triple9 OR ((((triple8 triple6) -> rule4)) -> rule2) OR ((((triple8 ((triple8) -> rule1)) -> rule4)) -> rule2) OR ((((((triple7) -> rule7) triple6) -> rule4)) -> rule2) OR ((((((triple7) -> rule7) ((triple8) -> rule1)) -> rule4)) -> rule2) OR ((((triple8 ((((triple7) -> rule7)) -> rule1)) -> rule4)) -> rule2) OR ((((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule1)) -> rule4)) -> rule2))] Erin is green.[(triple10 OR ((((triple11 ((triple11) -> rule1)) -> rule4)) -> rule5))] Erin is red.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13 OR ((triple12) -> rule5))] Gary is quiet.[(triple14 OR ((((triple12) -> rule2)) -> rule6))] @1: Bob is kind.[(((triple3) -> rule1))] Charlie is furry.[(((triple9) -> rule8) OR ((triple8 triple6) -> rule4) OR ((triple8 ((triple8) -> rule1)) -> rule4) OR ((((triple7) -> rule7) triple6) -> rule4) OR ((((triple7) -> rule7) ((triple8) -> rule1)) -> rule4) OR ((triple8 ((((triple7) -> rule7)) -> rule1)) -> rule4) OR ((((((triple9) -> rule6)) -> rule7) triple6) -> rule4) OR ((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule1)) -> rule4) OR ((((((triple9) -> rule6)) -> rule7) ((triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6)) -> rule7) ((((triple7) -> rule7)) -> rule1)) -> rule4) OR ((triple8 ((((((triple9) -> rule6)) -> rule7)) -> rule1)) -> rule4) OR ((((triple7) -> rule7) ((((((triple9) -> rule6)) -> rule7)) -> rule1)) -> rule4) OR ((((((triple9) -> rule6)) -> rule7) ((((((triple9) -> rule6)) -> rule7)) -> rule1)) -> rule4))] Erin is kind.[(((triple11) -> rule1))] Gary is smart.[(((triple12) -> rule2))] @2: Bob is cold.[(((((triple3) -> rule1) triple2) -> rule3) OR ((((triple3) -> rule1) ((((((triple3 ((triple3) -> rule1)) -> rule4)) -> rule2)) -> rule6)) -> rule3))] Bob is furry.[(((triple3 ((triple3) -> rule1)) -> rule4))] Erin is furry.[(((triple11 ((triple11) -> rule1)) -> rule4))] @3: Bob is smart.[(((((triple3 ((triple3) -> rule1)) -> rule4)) -> rule2))] Erin is smart.[(((((triple11 ((triple11) -> rule1)) -> rule4)) -> rule2))] @4: Erin is quiet.[(((((((triple11 ((triple11) -> rule1)) -> rule4)) -> rule2)) -> rule6))] @5: Erin is cold.[(((((triple11) -> rule1) ((((((triple11 ((triple11) -> rule1)) -> rule4)) -> rule2)) -> rule6)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple1
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
((triple6 triple7) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple6 ((triple9) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple8) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple8) -> (rule1 % int3)) ((triple9) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple7) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple7) -> (rule7 % int4))) -> (rule1 % int3)) ((triple9) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((triple6 ((((((triple8 triple6) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple8) -> (rule1 % int5)) ((((((triple8 triple6) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple9) -> (rule6 % int4))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple7) -> (rule7 % int6))) -> (rule1 % int5)) ((((((triple8 triple6) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((((triple9) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule1 % int4)) ((((((triple8 triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int6))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int6
((triple6 ((((((triple8 ((triple8) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple8) -> (rule1 % int5)) ((((((triple8 ((triple8) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple7) -> (rule7 % int6))) -> (rule1 % int5)) ((((((triple8 ((triple8) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((((triple9) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule1 % int4)) ((((((triple8 ((triple8) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int6))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
((((triple9) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple8 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple8 ((triple8) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple7) -> (rule7 % int3)) triple6) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple7) -> (rule7 % int4)) ((triple8) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple8 ((((triple7) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule7 % int3)) triple6) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple7) -> (rule7 % int4)) ((((triple7) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4)) ((triple8) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4)) ((((triple7) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((triple8 ((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((triple7) -> (rule7 % int5)) ((((((triple9) -> (rule6 % int4))) -> (rule7 % int5))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4)) ((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
((triple8) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((((triple9) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
((triple9) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((((triple8 triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple8 ((triple8) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
triple8
((triple7) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
((((triple8 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple8 ((triple8) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple7) -> (rule7 % int3)) triple6) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple7) -> (rule7 % int4)) ((triple8) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple8 ((((triple7) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((triple7) -> (rule7 % int4)) ((((triple7) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
triple10
((((triple11 ((triple11) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
((triple12) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
((((triple12) -> (rule2 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple9) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple8 triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple8 ((triple8) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple7) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple7) -> (rule7 % int3)) ((triple8) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple8 ((((triple7) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple9) -> (rule6 % int3))) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple7) -> (rule7 % int3)) ((((triple7) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple9) -> (rule6 % int4))) -> (rule7 % int3)) ((triple8) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple9) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((triple8 ((((((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple7) -> (rule7 % int4)) ((((((triple9) -> (rule6 % int3))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((triple9) -> (rule6 % int4))) -> (rule7 % int3)) ((((((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
((triple11) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple12) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple3) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple3) -> (rule1 % int5)) ((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
((triple3 ((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
((triple11 ((triple11) -> (rule1 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((((triple11 ((triple11) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((((((triple11 ((triple11) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
((((triple11) -> (rule1 % int5)) ((((((triple11 ((triple11) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5