Bob is red. Charlie is red. Charlie is round. Charlie is young. Gary is red. Harry is round. Harry is smart. Round people are quiet. If someone is round and quiet then they are furry. Young people are round. Furry, round people are smart. Smart people are red. Young, quiet people are kind. If someone is smart then they are young. If someone is quiet and smart then they are kind.
Bob is red.
("Bob" "is" "red" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If someone is round and quiet then they are furry.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Furry, round people are smart.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
Smart people are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
Young, quiet people are kind.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If someone is smart then they are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If someone is quiet and smart then they are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
Harry is smart.
True
1
proof
[(triple7 OR ((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4))]
("Harry" "is" "smart" "+")
triple7
((((triple6 ((triple6) -> (rule1 % int3))) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is not smart.
False
1
inv-proof
[(triple7 OR ((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4))]
("Harry" "is" "smart" "-")
triple7
((((triple6 ((triple6) -> (rule1 % int3))) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Charlie is quiet.
True
2
proof
[(((triple3) -> rule1) OR ((((triple4) -> rule3)) -> rule1))]
("Charlie" "is" "quiet" "+")
((triple3) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Harry is not young.
False
2
inv-proof
[(((triple7) -> rule7) OR ((((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4)) -> rule7))]
("Harry" "is" "young" "-")
((triple7) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((((triple6 ((triple6) -> (rule1 % int4))) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Charlie is kind.
True
4
proof
[(((triple4 ((triple3) -> rule1)) -> rule6) OR ((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule6) OR ((((triple3) -> rule1) ((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((triple3 ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((triple3 ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule7) ((triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule1) ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule7) ((((triple4) -> rule3)) -> rule1)) -> rule6) OR ((((triple3) -> rule1) ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8))]
("Charlie" "is" "kind" "+")
((triple4 ((triple3) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((triple4 ((((triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple3) -> (rule1 % int4)) ((((triple3 ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple3) -> (rule1 % int5)) ((((triple3 ((triple3) -> (rule1 % int5))) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((triple3) -> (rule1 % int5)) ((((((triple4) -> (rule3 % int4)) ((triple3) -> (rule1 % int5))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3 ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple3) -> (rule1 % int5)) ((((((triple4) -> (rule3 % int4)) ((triple3) -> (rule1 % int5))) -> (rule2 % int3)) ((triple4) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3 ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple4) -> (rule3 % int5)) ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple4) -> (rule3 % int5)) ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple3) -> (rule1 % int5)) ((((triple3 ((((triple4) -> (rule3 % int4))) -> (rule1 % int5))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule2 % int4)) triple3) -> (rule4 % int3))) -> (rule7 % int2)) ((triple3) -> (rule1 % int5))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((triple3) -> (rule1 % int5)) ((((triple3 ((((triple4) -> (rule3 % int4))) -> (rule1 % int5))) -> (rule2 % int3)) ((triple4) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((triple3) -> (rule1 % int5)) ((((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4))) -> (rule1 % int5))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3 ((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple3 ((triple3) -> (rule1 % int6))) -> (rule2 % int5)) triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple4) -> (rule3 % int2))) -> (rule1 % int6))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int6
((((triple3) -> (rule1 % int5)) ((((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4))) -> (rule1 % int5))) -> (rule2 % int3)) ((triple4) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3 ((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple4) -> (rule3 % int5)) ((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple4) -> (rule3 % int5)) ((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is not furry.
False
4
inv-proof
[(((triple3 ((triple3) -> rule1)) -> rule2) OR ((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) OR ((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) OR ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2))]
("Charlie" "is" "furry" "-")
((triple3 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple4) -> (rule3 % int3)) ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple3 ((((triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple4) -> (rule3 % int3)) ((((triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
True
6
proof
[(((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) triple3) -> rule4) OR ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4) OR ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4) OR ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4))]
("Charlie" "is" "smart" "+")
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple4) -> (rule3 % int4)) ((triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule3 % int4)) ((triple3) -> (rule1 % int3))) -> (rule2 % int2)) ((triple4) -> (rule3 % int4))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 ((((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 ((((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) ((triple4) -> (rule3 % int4))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) ((triple4) -> (rule3 % int4))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is not smart.
False
6
inv-proof
[(((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) triple3) -> rule4) OR ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4) OR ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4) OR ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4))]
("Charlie" "is" "smart" "-")
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple4) -> (rule3 % int4)) ((triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule3 % int4)) ((triple3) -> (rule1 % int3))) -> (rule2 % int2)) ((triple4) -> (rule3 % int4))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 ((((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 ((((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) ((triple4) -> (rule3 % int4))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) ((triple4) -> (rule3 % int4))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Bob is not round.
Unknown
inv-rconc
[@3: Bob is round.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule4 <- FAIL)]]
("Bob" "is" "round" "-")
Gary is young.
Unknown
rconc
[@3: Gary is young.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule3 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not smart.
Unknown
inv-rconc
[@3: Gary is smart.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule7 <- FAIL)]]
("Gary" "is" "smart" "-")
Gary is furry.
Unknown
rconc
[@4: Gary is furry.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule7 <- rule4 <- FAIL)]]
("Gary" "is" "furry" "+")
@0: Bob is red.[(triple1)] Charlie is red.[(triple2 OR ((((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule5) OR ((((((triple3 ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule5) OR ((((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule5) OR ((((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule5) OR ((((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule5) OR ((((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule5))] Charlie is round.[(triple3 OR ((triple4) -> rule3))] Charlie is young.[(triple4 OR ((((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule7))] Gary is red.[(triple5)] Harry is round.[(triple6 OR ((((triple7) -> rule7)) -> rule3))] Harry is smart.[(triple7 OR ((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4))] @1: Charlie is quiet.[(((triple3) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] Harry is quiet.[(((triple6) -> rule1) OR ((((((triple7) -> rule7)) -> rule3)) -> rule1))] Harry is red.[(((triple7) -> rule5) OR ((((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4)) -> rule5))] Harry is young.[(((triple7) -> rule7) OR ((((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4)) -> rule7))] @2: Charlie is furry.[(((triple3 ((triple3) -> rule1)) -> rule2) OR ((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) OR ((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) OR ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2))] Charlie is kind.[(((triple4 ((triple3) -> rule1)) -> rule6) OR ((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule6) OR ((((triple3) -> rule1) ((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((triple3 ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((triple3 ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule7) ((triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule1) ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule7) ((((triple4) -> rule3)) -> rule1)) -> rule6) OR ((((triple3) -> rule1) ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8))] Harry is furry.[(((triple6 ((triple6) -> rule1)) -> rule2) OR ((((((triple7) -> rule7)) -> rule3) ((triple6) -> rule1)) -> rule2) OR ((triple6 ((((((triple7) -> rule7)) -> rule3)) -> rule1)) -> rule2) OR ((((((triple7) -> rule7)) -> rule3) ((((((triple7) -> rule7)) -> rule3)) -> rule1)) -> rule2))] Harry is kind.[(((((triple6) -> rule1) triple7) -> rule8) OR ((((triple7) -> rule7) ((triple6) -> rule1)) -> rule6) OR ((((((((triple7) -> rule7)) -> rule3)) -> rule1) triple7) -> rule8) OR ((((triple6) -> rule1) ((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4)) -> rule8) OR ((((triple7) -> rule7) ((((((triple7) -> rule7)) -> rule3)) -> rule1)) -> rule6) OR ((((((((triple7) -> rule7)) -> rule3)) -> rule1) ((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4)) -> rule8) OR ((((((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4)) -> rule7) ((triple6) -> rule1)) -> rule6) OR ((((((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4)) -> rule7) ((((((triple7) -> rule7)) -> rule3)) -> rule1)) -> rule6))] @3: Charlie is smart.[(((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) triple3) -> rule4) OR ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4) OR ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4) OR ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((triple4) -> (rule3 % int5)) ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple4) -> (rule3 % int5)) ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple3 ((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple3 ((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple4) -> (rule3 % int5)) ((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple4) -> (rule3 % int5)) ((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is round.
("Charlie" "is" "round" "+")
triple3
((triple4) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple4
((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple6
((((triple7) -> (rule7 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
triple7
((((triple6 ((triple6) -> (rule1 % int3))) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple3) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple6) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((((triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((triple7) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((((triple6 ((triple6) -> (rule1 % int4))) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((triple7) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((((triple6 ((triple6) -> (rule1 % int4))) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple3 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple4) -> (rule3 % int3)) ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple3 ((((triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple4) -> (rule3 % int3)) ((((triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 ((triple3) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((triple4 ((((triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple3) -> (rule1 % int4)) ((((triple3 ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple3) -> (rule1 % int5)) ((((triple3 ((triple3) -> (rule1 % int5))) -> (rule2 % int4)) ((triple4) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((triple3) -> (rule1 % int5)) ((((((triple4) -> (rule3 % int4)) ((triple3) -> (rule1 % int5))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3 ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple3) -> (rule1 % int5)) ((((((triple4) -> (rule3 % int4)) ((triple3) -> (rule1 % int5))) -> (rule2 % int3)) ((triple4) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3 ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple4) -> (rule3 % int5)) ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple4) -> (rule3 % int5)) ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple3) -> (rule1 % int5)) ((((triple3 ((((triple4) -> (rule3 % int4))) -> (rule1 % int5))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule2 % int4)) triple3) -> (rule4 % int3))) -> (rule7 % int2)) ((triple3) -> (rule1 % int5))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((triple3) -> (rule1 % int5)) ((((triple3 ((((triple4) -> (rule3 % int4))) -> (rule1 % int5))) -> (rule2 % int3)) ((triple4) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((triple3) -> (rule1 % int5)) ((((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4))) -> (rule1 % int5))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3 ((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple3 ((triple3) -> (rule1 % int6))) -> (rule2 % int5)) triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple4) -> (rule3 % int2))) -> (rule1 % int6))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int6
((((triple3) -> (rule1 % int5)) ((((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4))) -> (rule1 % int5))) -> (rule2 % int3)) ((triple4) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple3 ((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple4) -> (rule3 % int5)) ((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple4) -> (rule3 % int5)) ((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((((triple7) -> (rule7 % int4))) -> (rule3 % int3)) ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple6 ((((((triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
((((triple6) -> (rule1 % int2)) triple7) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple7) -> (rule7 % int3)) ((triple6) -> (rule1 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((((triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple6) -> (rule1 % int4)) ((((triple6 ((triple6) -> (rule1 % int4))) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple7) -> (rule7 % int4)) ((((((triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((((triple7) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple6 ((triple6) -> (rule1 % int4))) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((((((triple6 ((triple6) -> (rule1 % int5))) -> (rule2 % int4)) triple6) -> (rule4 % int3))) -> (rule7 % int2)) ((triple6) -> (rule1 % int5))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((((triple6 ((triple6) -> (rule1 % int6))) -> (rule2 % int5)) triple6) -> (rule4 % int4))) -> (rule7 % int3)) ((((((triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int6))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple4) -> (rule3 % int4)) ((triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule3 % int4)) ((triple3) -> (rule1 % int3))) -> (rule2 % int2)) ((triple4) -> (rule3 % int4))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 ((((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple3 ((((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) ((triple4) -> (rule3 % int4))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) ((triple4) -> (rule3 % int4))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4