Erin is furry. Erin is quiet. Erin is round. Erin is smart. Erin is young. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. Fiona is smart. Fiona is young. Harry is green. Harry is quiet. Harry is smart. Harry is young. If someone is round then they are smart. If someone is green and young then they are red. All round, young people are furry. All round people are young. Round, smart people are young. If Harry is green and Harry is smart then Harry is quiet. Smart people are red. All red, young people are round.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is round then they are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
If someone is green and young then they are red.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All round, young people are furry.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
All round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Round, smart people are young.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If Harry is green and Harry is smart then Harry is quiet.
((("Harry" "is" "green" "+") ("Harry" "is" "smart" "+")) -> ("Harry" "is" "quiet" "+"))
Smart people are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
All red, young people are round.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Erin is smart.
True
1
proof
[(triple4 OR ((triple3) -> rule1))]
("Erin" "is" "smart" "+")
triple4
((triple3) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not quiet.
False
1
inv-proof
[(triple2)]
("Erin" "is" "quiet" "-")
triple2
Harry is red.
True
2
proof
[(((triple14) -> rule7) OR ((triple12 triple15) -> rule2))]
("Harry" "is" "red" "+")
((triple14) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple12 triple15) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple14) -> rule7) OR ((triple12 triple15) -> rule2))]
("Harry" "is" "red" "-")
((triple14) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple12 triple15) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
True
4
proof
[(((((triple14) -> rule7) triple15) -> rule8) OR ((((triple12 triple15) -> rule2) triple15) -> rule8))]
("Harry" "is" "round" "+")
((((triple14) -> (rule7 % int2)) triple15) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple12 triple15) -> (rule2 % int2)) triple15) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not round.
False
4
inv-proof
[(((((triple14) -> rule7) triple15) -> rule8) OR ((((triple12 triple15) -> rule2) triple15) -> rule8))]
("Harry" "is" "round" "-")
((((triple14) -> (rule7 % int2)) triple15) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple12 triple15) -> (rule2 % int2)) triple15) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
True
6
proof
[(((((((triple14) -> rule7) triple15) -> rule8) triple15) -> rule3) OR ((((((triple12 triple15) -> rule2) triple15) -> rule8) triple15) -> rule3))]
("Harry" "is" "furry" "+")
((((((triple14) -> (rule7 % int3)) triple15) -> (rule8 % int2)) triple15) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple12 triple15) -> (rule2 % int3)) triple15) -> (rule8 % int2)) triple15) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not furry.
False
6
inv-proof
[(((((((triple14) -> rule7) triple15) -> rule8) triple15) -> rule3) OR ((((((triple12 triple15) -> rule2) triple15) -> rule8) triple15) -> rule3))]
("Harry" "is" "furry" "-")
((((((triple14) -> (rule7 % int3)) triple15) -> (rule8 % int2)) triple15) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple12 triple15) -> (rule2 % int3)) triple15) -> (rule8 % int2)) triple15) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Erin is furry.[(triple1 OR ((triple3 triple5) -> rule3) OR ((triple3 ((triple3) -> rule4)) -> rule3) OR ((triple3 ((triple3 triple4) -> rule5)) -> rule3) OR ((triple3 ((triple3 ((triple3) -> rule1)) -> rule5)) -> rule3) OR ((((((triple4) -> rule7) triple5) -> rule8) triple5) -> rule3) OR ((((((triple4) -> rule7) triple5) -> rule8) ((triple3) -> rule4)) -> rule3) OR ((((((triple4) -> rule7) triple5) -> rule8) ((triple3 triple4) -> rule5)) -> rule3) OR ((((((triple4) -> rule7) triple5) -> rule8) ((triple3 ((triple3) -> rule1)) -> rule5)) -> rule3))] Erin is quiet.[(triple2)] Erin is round.[(triple3 OR ((((triple4) -> rule7) triple5) -> rule8))] Erin is smart.[(triple4 OR ((triple3) -> rule1))] Erin is young.[(triple5 OR ((triple3) -> rule4) OR ((triple3 triple4) -> rule5) OR ((triple3 ((triple3) -> rule1)) -> rule5))] Fiona is furry.[(triple6 OR ((triple9 triple11) -> rule3) OR ((triple9 ((triple9) -> rule4)) -> rule3) OR ((triple9 ((triple9 triple10) -> rule5)) -> rule3) OR ((((triple8 triple11) -> rule8) triple11) -> rule3) OR ((((triple8 triple11) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((triple8 triple11) -> rule8) ((triple9 triple10) -> rule5)) -> rule3) OR ((triple9 ((triple9 ((triple9) -> rule1)) -> rule5)) -> rule3) OR ((((((triple10) -> rule7) triple11) -> rule8) triple11) -> rule3) OR ((((((triple7 triple11) -> rule2) triple11) -> rule8) triple11) -> rule3) OR ((((triple8 triple11) -> rule8) ((triple9 ((triple9) -> rule1)) -> rule5)) -> rule3) OR ((((((triple10) -> rule7) triple11) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((((triple10) -> rule7) triple11) -> rule8) ((triple9 triple10) -> rule5)) -> rule3) OR ((((((triple7 triple11) -> rule2) triple11) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((((triple7 triple11) -> rule2) triple11) -> rule8) ((triple9 triple10) -> rule5)) -> rule3) OR ((((((triple10) -> rule7) triple11) -> rule8) ((triple9 ((triple9) -> rule1)) -> rule5)) -> rule3) OR ((((((triple7 triple11) -> rule2) triple11) -> rule8) ((triple9 ((triple9) -> rule1)) -> rule5)) -> rule3))] Fiona is green.[(triple7)] Fiona is red.[(triple8 OR ((triple10) -> rule7) OR ((triple7 triple11) -> rule2) OR ((((triple9) -> rule1)) -> rule7) OR ((triple7 ((triple9) -> rule4)) -> rule2) OR ((triple7 ((triple9 triple10) -> rule5)) -> rule2) OR ((triple7 ((triple9 ((triple9) -> rule1)) -> rule5)) -> rule2))] Fiona is round.[(triple9 OR ((triple8 triple11) -> rule8) OR ((((triple10) -> rule7) triple11) -> rule8) OR ((((triple7 triple11) -> rule2) triple11) -> rule8))] Fiona is smart.[(triple10 OR ((triple9) -> rule1) OR ((((triple8 triple11) -> rule8)) -> rule1) OR ((((((triple7 triple11) -> rule2) triple11) -> rule8)) -> rule1))] Fiona is young.[(triple11 OR ((triple9) -> rule4) OR ((triple9 triple10) -> rule5) OR ((triple9 ((triple9) -> rule1)) -> rule5))] Harry is green.[(triple12)] Harry is quiet.[(triple13 OR ((triple12 triple14) -> rule6) OR ((triple12 ((((((triple12 triple15) -> rule2) triple15) -> rule8)) -> rule1)) -> rule6))] Harry is smart.[(triple14 OR ((((((triple12 triple15) -> rule2) triple15) -> rule8)) -> rule1))] Harry is young.[(triple15)] @1: Erin is red.[(((triple4) -> rule7) OR ((((triple3) -> rule1)) -> rule7))] Harry is red.[(((triple14) -> rule7) OR ((triple12 triple15) -> rule2))] @2: Harry is round.[(((((triple14) -> rule7) triple15) -> rule8) OR ((((triple12 triple15) -> rule2) triple15) -> rule8))] @3: Harry is furry.[(((((((triple14) -> rule7) triple15) -> rule8) triple15) -> rule3) OR ((((((triple12 triple15) -> rule2) triple15) -> rule8) triple15) -> rule3))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
((triple3 triple5) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple3 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((triple3 ((triple3 triple4) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((triple3 ((triple3 ((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple4) -> (rule7 % int3)) triple5) -> (rule8 % int2)) triple5) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple4) -> (rule7 % int4)) triple5) -> (rule8 % int3)) ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple4) -> (rule7 % int4)) triple5) -> (rule8 % int3)) ((triple3 triple4) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple4) -> (rule7 % int5)) triple5) -> (rule8 % int4)) ((triple3 ((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
((((triple4) -> (rule7 % int2)) triple5) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple4
((triple3) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple5
((triple3) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple3 triple4) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple3 ((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
((triple9 triple11) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple9 ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((triple9 ((triple9 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple8 triple11) -> (rule8 % int2)) triple11) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple8 triple11) -> (rule8 % int3)) ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple8 triple11) -> (rule8 % int3)) ((triple9 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((triple9 ((triple9 ((triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple10) -> (rule7 % int3)) triple11) -> (rule8 % int2)) triple11) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple7 triple11) -> (rule2 % int3)) triple11) -> (rule8 % int2)) triple11) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple8 triple11) -> (rule8 % int4)) ((triple9 ((triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple10) -> (rule7 % int4)) triple11) -> (rule8 % int3)) ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple10) -> (rule7 % int4)) triple11) -> (rule8 % int3)) ((triple9 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple7 triple11) -> (rule2 % int4)) triple11) -> (rule8 % int3)) ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple7 triple11) -> (rule2 % int4)) triple11) -> (rule8 % int3)) ((triple9 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple10) -> (rule7 % int5)) triple11) -> (rule8 % int4)) ((triple9 ((triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((triple7 triple11) -> (rule2 % int5)) triple11) -> (rule8 % int4)) ((triple9 ((triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
((triple10) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple7 triple11) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((triple7 ((triple9) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((triple7 ((triple9 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((triple7 ((triple9 ((triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
triple9
((triple8 triple11) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple10) -> (rule7 % int2)) triple11) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple7 triple11) -> (rule2 % int2)) triple11) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
((triple9) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple8 triple11) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple7 triple11) -> (rule2 % int3)) triple11) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
triple11
((triple9) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple9 triple10) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple9 ((triple9) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
((triple12 triple14) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple12 ((((((triple12 triple15) -> (rule2 % int4)) triple15) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
triple14
((((((triple12 triple15) -> (rule2 % int3)) triple15) -> (rule8 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
triple15
Erin is red.
("Erin" "is" "red" "+")
((triple4) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple14) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple12 triple15) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple14) -> (rule7 % int2)) triple15) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple12 triple15) -> (rule2 % int2)) triple15) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((((((triple14) -> (rule7 % int3)) triple15) -> (rule8 % int2)) triple15) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple12 triple15) -> (rule2 % int3)) triple15) -> (rule8 % int2)) triple15) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3