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