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