Charlie is green. Charlie is red. Charlie is white. Erin is green. Gary is smart. Gary is white. Harry is green. Harry is quiet. Harry is red. Harry is white. If someone is furry then they are red. Quiet people are furry. If someone is furry and quiet then they are smart. Green people are white. All green, white people are quiet. Red people are kind.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is green.
("Erin" "is" "green" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is furry then they are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
Quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry and quiet then they are smart.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
Green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
All green, white people are quiet.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Charlie is green.
True
1
proof
[(triple1)]
("Charlie" "is" "green" "+")
triple1
Charlie is not red.
False
1
inv-proof
[(triple2 OR ((((((triple1 triple3) -> rule5)) -> rule2)) -> rule1) OR ((((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2)) -> rule1))]
("Charlie" "is" "red" "-")
triple2
((((((triple1 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
True
2
proof
[(((triple2) -> rule6) OR ((((((((triple1 triple3) -> rule5)) -> rule2)) -> rule1)) -> rule6) OR ((((((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2)) -> rule1)) -> rule6))]
("Charlie" "is" "kind" "+")
((triple2) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((((((triple1 triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple1 ((triple1) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Harry is not furry.
False
2
inv-proof
[(((triple8) -> rule2) OR ((((triple7 triple10) -> rule5)) -> rule2) OR ((((triple7 ((triple7) -> rule4)) -> rule5)) -> rule2))]
("Harry" "is" "furry" "-")
((triple8) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple7 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple7 ((triple7) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Erin is quiet.
True
4
proof
[(((triple4 ((triple4) -> rule4)) -> rule5))]
("Erin" "is" "quiet" "+")
((triple4 ((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Charlie is not furry.
False
4
inv-proof
[(((((triple1 triple3) -> rule5)) -> rule2) OR ((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2))]
("Charlie" "is" "furry" "-")
((((triple1 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is smart.
True
8
proof
[(((((((triple1 triple3) -> rule5)) -> rule2) ((triple1 triple3) -> rule5)) -> rule3) OR ((((((triple1 triple3) -> rule5)) -> rule2) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2) ((triple1 triple3) -> rule5)) -> rule3) OR ((((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3))]
("Charlie" "is" "smart" "+")
((((((triple1 triple3) -> (rule5 % int3))) -> (rule2 % int2)) ((triple1 triple3) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple1 triple3) -> (rule5 % int4))) -> (rule2 % int3)) ((triple1 ((triple1) -> (rule4 % int2))) -> (rule5 % int4))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple1 triple3) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is not smart.
False
8
inv-proof
[(((((((triple1 triple3) -> rule5)) -> rule2) ((triple1 triple3) -> rule5)) -> rule3) OR ((((((triple1 triple3) -> rule5)) -> rule2) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2) ((triple1 triple3) -> rule5)) -> rule3) OR ((((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3))]
("Charlie" "is" "smart" "-")
((((((triple1 triple3) -> (rule5 % int3))) -> (rule2 % int2)) ((triple1 triple3) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple1 triple3) -> (rule5 % int4))) -> (rule2 % int3)) ((triple1 ((triple1) -> (rule4 % int2))) -> (rule5 % int4))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple1 triple3) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Erin is smart.
True
10
proof
[(((((((triple4 ((triple4) -> rule4)) -> rule5)) -> rule2) ((triple4 ((triple4) -> rule4)) -> rule5)) -> rule3))]
("Erin" "is" "smart" "+")
((((((triple4 ((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple4 ((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is not red.
False
6
inv-proof
[(((((((triple4 ((triple4) -> rule4)) -> rule5)) -> rule2)) -> rule1))]
("Erin" "is" "red" "-")
((((((triple4 ((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is kind.
True
7
proof
[(((((((((triple4 ((triple4) -> rule4)) -> rule5)) -> rule2)) -> rule1)) -> rule6))]
("Erin" "is" "kind" "+")
((((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is not kind.
False
7
inv-proof
[(((((((((triple4 ((triple4) -> rule4)) -> rule5)) -> rule2)) -> rule1)) -> rule6))]
("Erin" "is" "kind" "-")
((((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Gary is not red.
Unknown
inv-rconc
[@3: Gary is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule5 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is kind.
Unknown
rconc
[@4: Gary is kind.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule2 <- rule5 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not furry.
Unknown
inv-rconc
[@2: Gary is furry.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is quiet.
Unknown
rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "quiet" "+")
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2 OR ((((((triple1 triple3) -> rule5)) -> rule2)) -> rule1) OR ((((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2)) -> rule1))] Charlie is white.[(triple3 OR ((triple1) -> rule4))] Erin is green.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)] Harry is green.[(triple7)] Harry is quiet.[(triple8 OR ((triple7 triple10) -> rule5) OR ((triple7 ((triple7) -> rule4)) -> rule5))] Harry is red.[(triple9 OR ((((triple8) -> rule2)) -> rule1) OR ((((((triple7 triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple7 ((triple7) -> rule4)) -> rule5)) -> rule2)) -> rule1))] Harry is white.[(triple10 OR ((triple7) -> rule4))] @1: Charlie is kind.[(((triple2) -> rule6) OR ((((((((triple1 triple3) -> rule5)) -> rule2)) -> rule1)) -> rule6) OR ((((((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2)) -> rule1)) -> rule6))] Charlie is quiet.[(((triple1 triple3) -> rule5) OR ((triple1 ((triple1) -> rule4)) -> rule5))] Erin is white.[(((triple4) -> rule4))] Harry is furry.[(((triple8) -> rule2) OR ((((triple7 triple10) -> rule5)) -> rule2) OR ((((triple7 ((triple7) -> rule4)) -> rule5)) -> rule2))] Harry is kind.[(((triple9) -> rule6) OR ((((((triple8) -> rule2)) -> rule1)) -> rule6) OR ((((((((triple7 triple10) -> rule5)) -> rule2)) -> rule1)) -> rule6) OR ((((((((triple7 ((triple7) -> rule4)) -> rule5)) -> rule2)) -> rule1)) -> rule6))] @2: Charlie is furry.[(((((triple1 triple3) -> rule5)) -> rule2) OR ((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2))] Erin is quiet.[(((triple4 ((triple4) -> rule4)) -> rule5))] Harry is smart.[(((((triple8) -> rule2) triple8) -> rule3) OR ((((triple8) -> rule2) ((triple7 triple10) -> rule5)) -> rule3) OR ((((((triple7 triple10) -> rule5)) -> rule2) triple8) -> rule3) OR ((((triple8) -> rule2) ((triple7 ((triple7) -> rule4)) -> rule5)) -> rule3) OR ((((((triple7 triple10) -> rule5)) -> rule2) ((triple7 triple10) -> rule5)) -> rule3) OR ((((((triple7 triple10) -> rule5)) -> rule2) ((triple7 ((triple7) -> rule4)) -> rule5)) -> rule3) OR ((((((triple7 ((triple7) -> rule4)) -> rule5)) -> rule2) triple8) -> rule3) OR ((((((triple7 ((triple7) -> rule4)) -> rule5)) -> rule2) ((triple7 triple10) -> rule5)) -> rule3) OR ((((((triple7 ((triple7) -> rule4)) -> rule5)) -> rule2) ((triple7 ((triple7) -> rule4)) -> rule5)) -> rule3))] @3: Charlie is smart.[(((((((triple1 triple3) -> rule5)) -> rule2) ((triple1 triple3) -> rule5)) -> rule3) OR ((((((triple1 triple3) -> rule5)) -> rule2) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2) ((triple1 triple3) -> rule5)) -> rule3) OR ((((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3))] Erin is furry.[(((((triple4 ((triple4) -> rule4)) -> rule5)) -> rule2))] @4: Erin is red.[(((((((triple4 ((triple4) -> rule4)) -> rule5)) -> rule2)) -> rule1))] Erin is smart.[(((((((triple4 ((triple4) -> rule4)) -> rule5)) -> rule2) ((triple4 ((triple4) -> rule4)) -> rule5)) -> rule3))] @5: Erin is kind.[(((((((((triple4 ((triple4) -> rule4)) -> rule5)) -> rule2)) -> rule1)) -> rule6))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
((((((triple1 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
triple3
((triple1) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple4
Gary is smart.
("Gary" "is" "smart" "+")
triple5
Gary is white.
("Gary" "is" "white" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
((triple7 triple10) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple7 ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
triple9
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((((triple7 triple10) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
triple10
((triple7) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple2) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((((((triple1 triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple1 ((triple1) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple1 triple3) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple1 ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
((triple4) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple8) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple7 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple7 ((triple7) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((triple9) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((((triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((((triple7 triple10) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((((triple7 ((triple7) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple1 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple4 ((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
((((triple8) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple7 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple7 triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple8) -> (rule2 % int4)) ((triple7 ((triple7) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple7 triple10) -> (rule5 % int3))) -> (rule2 % int2)) ((triple7 triple10) -> (rule5 % int3))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple7 triple10) -> (rule5 % int4))) -> (rule2 % int3)) ((triple7 ((triple7) -> (rule4 % int2))) -> (rule5 % int4))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple7 triple10) -> (rule5 % int3))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple7 ((triple7) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
((((((triple1 triple3) -> (rule5 % int3))) -> (rule2 % int2)) ((triple1 triple3) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple1 triple3) -> (rule5 % int4))) -> (rule2 % int3)) ((triple1 ((triple1) -> (rule4 % int2))) -> (rule5 % int4))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple1 triple3) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
((((triple4 ((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
((((((triple4 ((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
((((((triple4 ((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple4 ((triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
((((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5