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