Bob is blue. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Erin is furry. Erin is kind. Gary is blue. Gary is quiet. Gary is smart. Gary is young. Harry is kind. If Erin is kind and Erin is smart then Erin is young. If someone is furry then they are blue. If someone is kind then they are quiet. If Gary is quiet then Gary is kind. All furry, young people are rough. If someone is rough and young then they are furry. Quiet, kind people are young. If someone is young then they are rough. If Harry is young then Harry is smart.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If Erin is kind and Erin is smart then Erin is young.
((("Erin" "is" "kind" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "young" "+"))
If someone is furry then they are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind then they are quiet.
((("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
If Gary is quiet then Gary is kind.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "kind" "+"))
All furry, young people are rough.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and young then they are furry.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Quiet, kind people are young.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If Harry is young then Harry is smart.
((("Harry" "is" "young" "+")) -> ("Harry" "is" "smart" "+"))
Bob is quiet.
True
1
proof
[(triple3 OR ((triple2) -> rule3))]
("Bob" "is" "quiet" "+")
triple3
((triple2) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is not smart.
False
1
inv-proof
[(triple5)]
("Bob" "is" "smart" "-")
triple5
Erin is blue.
True
2
proof
[(((triple6) -> rule2) OR ((((((((((triple7) -> rule3) triple7) -> rule7)) -> rule8) ((((triple7) -> rule3) triple7) -> rule7)) -> rule6)) -> rule2))]
("Erin" "is" "blue" "+")
((triple6) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((((((((triple7) -> (rule3 % int5)) triple7) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule3 % int5)) triple7) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Bob is not young.
False
3
inv-proof
[(((triple3 triple2) -> rule7) OR ((((triple2) -> rule3) triple2) -> rule7))]
("Bob" "is" "young" "-")
((triple3 triple2) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple2) -> (rule3 % int2)) triple2) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Gary is furry.
True
4
proof
[(((((triple11) -> rule8) triple11) -> rule6) OR ((((triple11) -> rule8) ((triple9 ((triple9) -> rule4)) -> rule7)) -> rule6) OR ((((((triple9 ((triple9) -> rule4)) -> rule7)) -> rule8) triple11) -> rule6) OR ((((((triple9 ((triple9) -> rule4)) -> rule7)) -> rule8) ((triple9 ((triple9) -> rule4)) -> rule7)) -> rule6))]
("Gary" "is" "furry" "+")
((((triple11) -> (rule8 % int2)) triple11) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple11) -> (rule8 % int4)) ((triple9 ((triple9) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple9 ((triple9) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple11) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9 ((triple9) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple9 ((triple9) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Erin is not young.
False
4
inv-proof
[(((((triple7) -> rule3) triple7) -> rule7))]
("Erin" "is" "young" "-")
((((triple7) -> (rule3 % int2)) triple7) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Harry is smart.
True
5
proof
[(((((((triple12) -> rule3) triple12) -> rule7)) -> rule9))]
("Harry" "is" "smart" "+")
((((((triple12) -> (rule3 % int3)) triple12) -> (rule7 % int2))) -> (rule9 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is not rough.
False
5
inv-proof
[(((((((triple12) -> rule3) triple12) -> rule7)) -> rule8))]
("Harry" "is" "rough" "-")
((((((triple12) -> (rule3 % int3)) triple12) -> (rule7 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is furry.
True
10
proof
[(((((((((triple12) -> rule3) triple12) -> rule7)) -> rule8) ((((triple12) -> rule3) triple12) -> rule7)) -> rule6))]
("Harry" "is" "furry" "+")
((((((((triple12) -> (rule3 % int4)) triple12) -> (rule7 % int3))) -> (rule8 % int2)) ((((triple12) -> (rule3 % int4)) triple12) -> (rule7 % int3))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is not furry.
False
10
inv-proof
[(((((((((triple12) -> rule3) triple12) -> rule7)) -> rule8) ((((triple12) -> rule3) triple12) -> rule7)) -> rule6))]
("Harry" "is" "furry" "-")
((((((((triple12) -> (rule3 % int4)) triple12) -> (rule7 % int3))) -> (rule8 % int2)) ((((triple12) -> (rule3 % int4)) triple12) -> (rule7 % int3))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is blue.
True
11
proof
[(((((((((((triple12) -> rule3) triple12) -> rule7)) -> rule8) ((((triple12) -> rule3) triple12) -> rule7)) -> rule6)) -> rule2))]
("Harry" "is" "blue" "+")
((((((((((triple12) -> (rule3 % int5)) triple12) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple12) -> (rule3 % int5)) triple12) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is not blue.
False
11
inv-proof
[(((((((((((triple12) -> rule3) triple12) -> rule7)) -> rule8) ((((triple12) -> rule3) triple12) -> rule7)) -> rule6)) -> rule2))]
("Harry" "is" "blue" "-")
((((((((((triple12) -> (rule3 % int5)) triple12) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple12) -> (rule3 % int5)) triple12) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
@0: Bob is blue.[(triple1 OR ((((triple4 ((triple3 triple2) -> rule7)) -> rule6)) -> rule2) OR ((((triple4 ((((triple2) -> rule3) triple2) -> rule7)) -> rule6)) -> rule2) OR ((((((((triple3 triple2) -> rule7)) -> rule8) ((triple3 triple2) -> rule7)) -> rule6)) -> rule2) OR ((((((((triple3 triple2) -> rule7)) -> rule8) ((((triple2) -> rule3) triple2) -> rule7)) -> rule6)) -> rule2) OR ((((((((((triple2) -> rule3) triple2) -> rule7)) -> rule8) ((triple3 triple2) -> rule7)) -> rule6)) -> rule2) OR ((((((((((triple2) -> rule3) triple2) -> rule7)) -> rule8) ((((triple2) -> rule3) triple2) -> rule7)) -> rule6)) -> rule2))] Bob is kind.[(triple2)] Bob is quiet.[(triple3 OR ((triple2) -> rule3))] Bob is rough.[(triple4 OR ((((triple3 triple2) -> rule7)) -> rule8) OR ((((((triple2) -> rule3) triple2) -> rule7)) -> rule8))] Bob is smart.[(triple5)] Erin is furry.[(triple6 OR ((((((((triple7) -> rule3) triple7) -> rule7)) -> rule8) ((((triple7) -> rule3) triple7) -> rule7)) -> rule6))] Erin is kind.[(triple7)] Gary is blue.[(triple8 OR ((((((triple11) -> rule8) triple11) -> rule6)) -> rule2) OR ((((((triple11) -> rule8) ((triple9 ((triple9) -> rule4)) -> rule7)) -> rule6)) -> rule2) OR ((((((((triple9 ((triple9) -> rule4)) -> rule7)) -> rule8) triple11) -> rule6)) -> rule2) OR ((((((((triple9 ((triple9) -> rule4)) -> rule7)) -> rule8) ((triple9 ((triple9) -> rule4)) -> rule7)) -> rule6)) -> rule2))] Gary is quiet.[(triple9)] Gary is smart.[(triple10)] Gary is young.[(triple11 OR ((triple9 ((triple9) -> rule4)) -> rule7))] Harry is kind.[(triple12)] @1: Bob is young.[(((triple3 triple2) -> rule7) OR ((((triple2) -> rule3) triple2) -> rule7))] Erin is blue.[(((triple6) -> rule2) OR ((((((((((triple7) -> rule3) triple7) -> rule7)) -> rule8) ((((triple7) -> rule3) triple7) -> rule7)) -> rule6)) -> rule2))] Erin is quiet.[(((triple7) -> rule3))] Gary is kind.[(((triple9) -> rule4))] Gary is rough.[(((triple11) -> rule8) OR ((((triple9 ((triple9) -> rule4)) -> rule7)) -> rule8))] Harry is quiet.[(((triple12) -> rule3))] @2: Bob is furry.[(((triple4 ((triple3 triple2) -> rule7)) -> rule6) OR ((triple4 ((((triple2) -> rule3) triple2) -> rule7)) -> rule6) OR ((((((triple3 triple2) -> rule7)) -> rule8) ((triple3 triple2) -> rule7)) -> rule6) OR ((((((triple3 triple2) -> rule7)) -> rule8) ((((triple2) -> rule3) triple2) -> rule7)) -> rule6) OR ((((((((triple2) -> rule3) triple2) -> rule7)) -> rule8) ((triple3 triple2) -> rule7)) -> rule6) OR ((((((((triple2) -> rule3) triple2) -> rule7)) -> rule8) ((((triple2) -> rule3) triple2) -> rule7)) -> rule6))] Erin is young.[(((((triple7) -> rule3) triple7) -> rule7))] Gary is furry.[(((((triple11) -> rule8) triple11) -> rule6) OR ((((triple11) -> rule8) ((triple9 ((triple9) -> rule4)) -> rule7)) -> rule6) OR ((((((triple9 ((triple9) -> rule4)) -> rule7)) -> rule8) triple11) -> rule6) OR ((((((triple9 ((triple9) -> rule4)) -> rule7)) -> rule8) ((triple9 ((triple9) -> rule4)) -> rule7)) -> rule6))] Harry is young.[(((((triple12) -> rule3) triple12) -> rule7))] @3: Erin is rough.[(((((((triple7) -> rule3) triple7) -> rule7)) -> rule8) OR ((triple6 ((((triple7) -> rule3) triple7) -> rule7)) -> rule5))] Harry is rough.[(((((((triple12) -> rule3) triple12) -> rule7)) -> rule8))] Harry is smart.[(((((((triple12) -> rule3) triple12) -> rule7)) -> rule9))] @4: Harry is furry.[(((((((((triple12) -> rule3) triple12) -> rule7)) -> rule8) ((((triple12) -> rule3) triple12) -> rule7)) -> rule6))] @5: Harry is blue.[(((((((((((triple12) -> rule3) triple12) -> rule7)) -> rule8) ((((triple12) -> rule3) triple12) -> rule7)) -> rule6)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((((triple4 ((triple3 triple2) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple4 ((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple3 triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((triple3 triple2) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple3 triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple2) -> (rule3 % int3)) triple2) -> (rule7 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((((triple2) -> (rule3 % int5)) triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((triple3 triple2) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((((triple2) -> (rule3 % int5)) triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule3 % int5)) triple2) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
((triple2) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((((triple3 triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple2) -> (rule3 % int3)) triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
((((((((triple7) -> (rule3 % int4)) triple7) -> (rule7 % int3))) -> (rule8 % int2)) ((((triple7) -> (rule3 % int4)) triple7) -> (rule7 % int3))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
((((((triple11) -> (rule8 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple11) -> (rule8 % int5)) ((triple9 ((triple9) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((((triple9 ((triple9) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) triple11) -> (rule6 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((((triple9 ((triple9) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple9 ((triple9) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple11
((triple9 ((triple9) -> (rule4 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Bob is young.
("Bob" "is" "young" "+")
((triple3 triple2) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple2) -> (rule3 % int2)) triple2) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((triple6) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((((((((triple7) -> (rule3 % int5)) triple7) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule3 % int5)) triple7) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple7) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple9) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple11) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple9 ((triple9) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple12) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((triple4 ((triple3 triple2) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((triple4 ((((triple2) -> (rule3 % int3)) triple2) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple3 triple2) -> (rule7 % int3))) -> (rule8 % int2)) ((triple3 triple2) -> (rule7 % int3))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple3 triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule3 % int2)) triple2) -> (rule7 % int4))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3))) -> (rule8 % int2)) ((triple3 triple2) -> (rule7 % int3))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3))) -> (rule8 % int2)) ((((triple2) -> (rule3 % int4)) triple2) -> (rule7 % int3))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
((((triple7) -> (rule3 % int2)) triple7) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((((triple11) -> (rule8 % int2)) triple11) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple11) -> (rule8 % int4)) ((triple9 ((triple9) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple9 ((triple9) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple11) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9 ((triple9) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple9 ((triple9) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((((triple12) -> (rule3 % int2)) triple12) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((((((triple7) -> (rule3 % int3)) triple7) -> (rule7 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple6 ((((triple7) -> (rule3 % int3)) triple7) -> (rule7 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
((((((triple12) -> (rule3 % int3)) triple12) -> (rule7 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
((((((triple12) -> (rule3 % int3)) triple12) -> (rule7 % int2))) -> (rule9 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
((((((((triple12) -> (rule3 % int4)) triple12) -> (rule7 % int3))) -> (rule8 % int2)) ((((triple12) -> (rule3 % int4)) triple12) -> (rule7 % int3))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
((((((((((triple12) -> (rule3 % int5)) triple12) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple12) -> (rule3 % int5)) triple12) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5