Anne is red. Bob is furry. Bob is kind. Bob is red. Gary is big. Gary is quiet. Gary is red. Gary is round. Harry is kind. Harry is quiet. Quiet things are young. All red, big things are quiet. All young things are furry. If something is red then it is round. Furry, round things are kind. Round things are big. All red things are big.
Anne is red.
("Anne" "is" "red" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Quiet things are young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
All red, big things are quiet.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
All young things are furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
If something is red then it is round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
Furry, round things are kind.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
All red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
Gary is round.
True
1
proof
[(triple8 OR ((triple7) -> rule4))]
("Gary" "is" "round" "+")
triple8
((triple7) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
1
inv-proof
[(triple8 OR ((triple7) -> rule4))]
("Gary" "is" "round" "-")
triple8
((triple7) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is young.
True
2
proof
[(((triple10) -> rule1))]
("Harry" "is" "young" "+")
((triple10) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple1) -> rule7) OR ((((triple1) -> rule4)) -> rule6))]
("Anne" "is" "big" "-")
((triple1) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Harry is furry.
True
3
proof
[(((((triple10) -> rule1)) -> rule3))]
("Harry" "is" "furry" "+")
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Gary is not furry.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule3) OR ((((((triple7 triple5) -> rule2)) -> rule1)) -> rule3) OR ((((((triple7 ((triple7) -> rule7)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple7 ((triple8) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule2)) -> rule1)) -> rule3))]
("Gary" "is" "furry" "-")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((((triple7 triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple7 ((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple7 ((triple8) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple7 ((((triple7) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Anne is young.
True
5
proof
[(((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule1) OR ((((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule1))]
("Anne" "is" "young" "+")
((((triple1 ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple1 ((((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Gary is not kind.
False
5
inv-proof
[(((((((triple6) -> rule1)) -> rule3) triple8) -> rule5) OR ((((((triple6) -> rule1)) -> rule3) ((triple7) -> rule4)) -> rule5) OR ((((((((triple7 triple5) -> rule2)) -> rule1)) -> rule3) triple8) -> rule5) OR ((((((((triple7 triple5) -> rule2)) -> rule1)) -> rule3) ((triple7) -> rule4)) -> rule5) OR ((((((((triple7 ((triple7) -> rule7)) -> rule2)) -> rule1)) -> rule3) triple8) -> rule5) OR ((((((((triple7 ((triple8) -> rule6)) -> rule2)) -> rule1)) -> rule3) triple8) -> rule5) OR ((((((((triple7 ((triple7) -> rule7)) -> rule2)) -> rule1)) -> rule3) ((triple7) -> rule4)) -> rule5) OR ((((((((triple7 ((triple8) -> rule6)) -> rule2)) -> rule1)) -> rule3) ((triple7) -> rule4)) -> rule5) OR ((((((((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule2)) -> rule1)) -> rule3) triple8) -> rule5) OR ((((((((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule2)) -> rule1)) -> rule3) ((triple7) -> rule4)) -> rule5))]
("Gary" "is" "kind" "-")
((((((triple6) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple6) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple7 triple5) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple7 triple5) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple7 ((triple7) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((((triple7 ((triple8) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((((triple7 ((triple7) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
int6
((((((((triple7 ((triple8) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
int6
((((((((triple7 ((((triple7) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((((((triple7 ((((triple7) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7) -> (rule4 % int6))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
Anne is furry.
True
6
proof
[(((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule1)) -> rule3))]
("Anne" "is" "furry" "+")
((((((triple1 ((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple1 ((((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is not furry.
False
6
inv-proof
[(((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule1)) -> rule3))]
("Anne" "is" "furry" "-")
((((((triple1 ((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple1 ((((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is kind.
True
9
proof
[(((((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule3) ((triple1) -> rule4)) -> rule5) OR ((((((((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule1)) -> rule3) ((triple1) -> rule4)) -> rule5))]
("Anne" "is" "kind" "+")
((((((((triple1 ((triple1) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((triple1 ((((triple1) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple1) -> (rule4 % int6))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
Anne is not kind.
False
9
inv-proof
[(((((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule3) ((triple1) -> rule4)) -> rule5) OR ((((((((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule1)) -> rule3) ((triple1) -> rule4)) -> rule5))]
("Anne" "is" "kind" "-")
((((((((triple1 ((triple1) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((triple1 ((((triple1) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple1) -> (rule4 % int6))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is big.
Unknown
rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Harry" "is" "big" "+")
@0: Anne is red.[(triple1)] Bob is furry.[(triple2 OR ((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple4 ((((triple4) -> rule4)) -> rule6)) -> rule2)) -> rule1)) -> rule3))] Bob is kind.[(triple3 OR ((triple2 ((triple4) -> rule4)) -> rule5) OR ((((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule1)) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((((triple4 ((((triple4) -> rule4)) -> rule6)) -> rule2)) -> rule1)) -> rule3) ((triple4) -> rule4)) -> rule5))] Bob is red.[(triple4)] Gary is big.[(triple5 OR ((triple7) -> rule7) OR ((triple8) -> rule6) OR ((((triple7) -> rule4)) -> rule6))] Gary is quiet.[(triple6 OR ((triple7 triple5) -> rule2) OR ((triple7 ((triple7) -> rule7)) -> rule2) OR ((triple7 ((triple8) -> rule6)) -> rule2) OR ((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule2))] Gary is red.[(triple7)] Gary is round.[(triple8 OR ((triple7) -> rule4))] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] @1: Anne is big.[(((triple1) -> rule7) OR ((((triple1) -> rule4)) -> rule6))] Anne is round.[(((triple1) -> rule4))] Bob is big.[(((triple4) -> rule7) OR ((((triple4) -> rule4)) -> rule6))] Bob is round.[(((triple4) -> rule4))] Gary is young.[(((triple6) -> rule1) OR ((((triple7 triple5) -> rule2)) -> rule1) OR ((((triple7 ((triple7) -> rule7)) -> rule2)) -> rule1) OR ((((triple7 ((triple8) -> rule6)) -> rule2)) -> rule1) OR ((((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule2)) -> rule1))] Harry is young.[(((triple10) -> rule1))] @2: Anne is quiet.[(((triple1 ((triple1) -> rule7)) -> rule2) OR ((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule2))] Bob is quiet.[(((triple4 ((triple4) -> rule7)) -> rule2) OR ((triple4 ((((triple4) -> rule4)) -> rule6)) -> rule2))] Gary is furry.[(((((triple6) -> rule1)) -> rule3) OR ((((((triple7 triple5) -> rule2)) -> rule1)) -> rule3) OR ((((((triple7 ((triple7) -> rule7)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple7 ((triple8) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule2)) -> rule1)) -> rule3))] Harry is furry.[(((((triple10) -> rule1)) -> rule3))] @3: Anne is young.[(((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule1) OR ((((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule1))] Bob is young.[(((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule1) OR ((((triple4 ((((triple4) -> rule4)) -> rule6)) -> rule2)) -> rule1))] Gary is kind.[(((((((triple6) -> rule1)) -> rule3) triple8) -> rule5) OR ((((((triple6) -> rule1)) -> rule3) ((triple7) -> rule4)) -> rule5) OR ((((((((triple7 triple5) -> rule2)) -> rule1)) -> rule3) triple8) -> rule5) OR ((((((((triple7 triple5) -> rule2)) -> rule1)) -> rule3) ((triple7) -> rule4)) -> rule5) OR ((((((((triple7 ((triple7) -> rule7)) -> rule2)) -> rule1)) -> rule3) triple8) -> rule5) OR ((((((((triple7 ((triple8) -> rule6)) -> rule2)) -> rule1)) -> rule3) triple8) -> rule5) OR ((((((((triple7 ((triple7) -> rule7)) -> rule2)) -> rule1)) -> rule3) ((triple7) -> rule4)) -> rule5) OR ((((((((triple7 ((triple8) -> rule6)) -> rule2)) -> rule1)) -> rule3) ((triple7) -> rule4)) -> rule5) OR ((((((((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule2)) -> rule1)) -> rule3) triple8) -> rule5) OR ((((((((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule2)) -> rule1)) -> rule3) ((triple7) -> rule4)) -> rule5))] @4: Anne is furry.[(((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule1)) -> rule3))] @5: Anne is kind.[(((((((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule3) ((triple1) -> rule4)) -> rule5) OR ((((((((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule1)) -> rule3) ((triple1) -> rule4)) -> rule5))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple4 ((((triple4) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple2 ((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((((((triple4 ((triple4) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((((triple4 ((((triple4) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple4) -> (rule4 % int6))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
int6
Bob is red.
("Bob" "is" "red" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
((triple7) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple8) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
((triple7 triple5) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple7 ((triple7) -> (rule7 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((triple7 ((triple8) -> (rule6 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((triple7 ((((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
((triple7) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple4) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((triple4) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple6) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple7 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple7 ((triple7) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple7 ((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple7 ((((triple7) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((triple10) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1 ((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((triple1 ((((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple4 ((triple4) -> (rule7 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple4 ((((triple4) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((((triple7 triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple7 ((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple7 ((triple8) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple7 ((((triple7) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
((((triple1 ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple1 ((((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((((triple4 ((triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((triple4 ((((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
((((((triple6) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple6) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple7 triple5) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple7 triple5) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple7 ((triple7) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((((triple7 ((triple8) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((((triple7 ((triple7) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
int6
((((((((triple7 ((triple8) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
int6
((((((((triple7 ((((triple7) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((((((triple7 ((((triple7) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7) -> (rule4 % int6))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
Anne is furry.
("Anne" "is" "furry" "+")
((((((triple1 ((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple1 ((((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
((((((((triple1 ((triple1) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3)) ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((triple1 ((((triple1) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple1) -> (rule4 % int6))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6