Dave is green. Erin is furry. Erin is red. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is red. Harry is big. Harry is green. Harry is quiet. Harry is round. Red people are quiet. All quiet, green people are round. If someone is green then they are red. All quiet people are furry. If someone is furry and big then they are nice. If Harry is round and Harry is big then Harry is quiet. Furry people are big.
Dave is green.
("Dave" "is" "green" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Red people are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
All quiet, green people are round.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
All quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry and big then they are nice.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If Harry is round and Harry is big then Harry is quiet.
((("Harry" "is" "round" "+") ("Harry" "is" "big" "+")) -> ("Harry" "is" "quiet" "+"))
Furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Erin is furry.
True
1
proof
[(triple2 OR ((((triple3) -> rule1)) -> rule4))]
("Erin" "is" "furry" "+")
triple2
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Harry is not green.
False
1
inv-proof
[(triple9)]
("Harry" "is" "green" "-")
triple9
Erin is big.
True
2
proof
[(((triple2) -> rule7) OR ((((((triple3) -> rule1)) -> rule4)) -> rule7))]
("Erin" "is" "big" "+")
((triple2) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Harry is not red.
False
2
inv-proof
[(((triple9) -> rule3))]
("Harry" "is" "red" "-")
((triple9) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Erin is nice.
True
4
proof
[(((triple2 ((triple2) -> rule7)) -> rule5) OR ((((((triple3) -> rule1)) -> rule4) ((triple2) -> rule7)) -> rule5) OR ((triple2 ((((((triple3) -> rule1)) -> rule4)) -> rule7)) -> rule5) OR ((((((triple3) -> rule1)) -> rule4) ((((((triple3) -> rule1)) -> rule4)) -> rule7)) -> rule5))]
("Erin" "is" "nice" "+")
((triple2 ((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple3) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple2 ((((((triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple3) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is not nice.
False
4
inv-proof
[(((triple2 ((triple2) -> rule7)) -> rule5) OR ((((((triple3) -> rule1)) -> rule4) ((triple2) -> rule7)) -> rule5) OR ((triple2 ((((((triple3) -> rule1)) -> rule4)) -> rule7)) -> rule5) OR ((((((triple3) -> rule1)) -> rule4) ((((((triple3) -> rule1)) -> rule4)) -> rule7)) -> rule5))]
("Erin" "is" "nice" "-")
((triple2 ((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple3) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple2 ((((((triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple3) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Dave is furry.
True
4
proof
[(((((((triple1) -> rule3)) -> rule1)) -> rule4))]
("Dave" "is" "furry" "+")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not furry.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule1)) -> rule4))]
("Dave" "is" "furry" "-")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
True
5
proof
[(((((((((triple1) -> rule3)) -> rule1)) -> rule4)) -> rule7))]
("Dave" "is" "big" "+")
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is not big.
False
5
inv-proof
[(((((((((triple1) -> rule3)) -> rule1)) -> rule4)) -> rule7))]
("Dave" "is" "big" "-")
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
True
10
proof
[(((((((((triple1) -> rule3)) -> rule1)) -> rule4) ((((((((triple1) -> rule3)) -> rule1)) -> rule4)) -> rule7)) -> rule5))]
("Dave" "is" "nice" "+")
((((((((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((((((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is not nice.
False
10
inv-proof
[(((((((((triple1) -> rule3)) -> rule1)) -> rule4) ((((((((triple1) -> rule3)) -> rule1)) -> rule4)) -> rule7)) -> rule5))]
("Dave" "is" "nice" "-")
((((((((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((((((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "round" "-")
Fiona is round.
Unknown
rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "round" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Dave is green.[(triple1)] Erin is furry.[(triple2 OR ((((triple3) -> rule1)) -> rule4))] Erin is red.[(triple3)] Fiona is furry.[(triple4 OR ((triple6) -> rule4) OR ((((triple7) -> rule1)) -> rule4))] Fiona is nice.[(triple5 OR ((triple4 ((triple4) -> rule7)) -> rule5) OR ((((triple6) -> rule4) ((triple4) -> rule7)) -> rule5) OR ((triple4 ((((triple6) -> rule4)) -> rule7)) -> rule5) OR ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule7)) -> rule5) OR ((((((triple7) -> rule1)) -> rule4) ((triple4) -> rule7)) -> rule5) OR ((((((triple7) -> rule1)) -> rule4) ((((triple6) -> rule4)) -> rule7)) -> rule5) OR ((triple4 ((((((triple7) -> rule1)) -> rule4)) -> rule7)) -> rule5) OR ((((triple6) -> rule4) ((((((triple7) -> rule1)) -> rule4)) -> rule7)) -> rule5) OR ((((((triple7) -> rule1)) -> rule4) ((((((triple7) -> rule1)) -> rule4)) -> rule7)) -> rule5))] Fiona is quiet.[(triple6 OR ((triple7) -> rule1))] Fiona is red.[(triple7)] Harry is big.[(triple8 OR ((((triple10) -> rule4)) -> rule7) OR ((((((((triple9) -> rule3)) -> rule1)) -> rule4)) -> rule7))] Harry is green.[(triple9)] Harry is quiet.[(triple10 OR ((triple11 triple8) -> rule6) OR ((((triple9) -> rule3)) -> rule1))] Harry is round.[(triple11 OR ((triple10 triple9) -> rule2) OR ((((((triple9) -> rule3)) -> rule1) triple9) -> rule2))] @1: Dave is red.[(((triple1) -> rule3))] Erin is big.[(((triple2) -> rule7) OR ((((((triple3) -> rule1)) -> rule4)) -> rule7))] Erin is quiet.[(((triple3) -> rule1))] Fiona is big.[(((triple4) -> rule7) OR ((((triple6) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule4)) -> rule7))] Harry is furry.[(((triple10) -> rule4) OR ((((triple11 triple8) -> rule6)) -> rule4) OR ((((((triple9) -> rule3)) -> rule1)) -> rule4))] Harry is red.[(((triple9) -> rule3))] @2: Dave is quiet.[(((((triple1) -> rule3)) -> rule1))] Erin is nice.[(((triple2 ((triple2) -> rule7)) -> rule5) OR ((((((triple3) -> rule1)) -> rule4) ((triple2) -> rule7)) -> rule5) OR ((triple2 ((((((triple3) -> rule1)) -> rule4)) -> rule7)) -> rule5) OR ((((((triple3) -> rule1)) -> rule4) ((((((triple3) -> rule1)) -> rule4)) -> rule7)) -> rule5))] Harry is nice.[(((((triple10) -> rule4) triple8) -> rule5) OR ((((((triple11 triple8) -> rule6)) -> rule4) triple8) -> rule5) OR ((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule7)) -> rule5) OR ((((((triple11 triple8) -> rule6)) -> rule4) ((((triple10) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple9) -> rule3)) -> rule1)) -> rule4) triple8) -> rule5) OR ((((((((triple9) -> rule3)) -> rule1)) -> rule4) ((((triple10) -> rule4)) -> rule7)) -> rule5) OR ((((triple10) -> rule4) ((((((((triple9) -> rule3)) -> rule1)) -> rule4)) -> rule7)) -> rule5) OR ((((((triple11 triple8) -> rule6)) -> rule4) ((((((((triple9) -> rule3)) -> rule1)) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple9) -> rule3)) -> rule1)) -> rule4) ((((((((triple9) -> rule3)) -> rule1)) -> rule4)) -> rule7)) -> rule5))] @3: Dave is furry.[(((((((triple1) -> rule3)) -> rule1)) -> rule4))] Dave is round.[(((((((triple1) -> rule3)) -> rule1) triple1) -> rule2))] @4: Dave is big.[(((((((((triple1) -> rule3)) -> rule1)) -> rule4)) -> rule7))] @5: Dave is nice.[(((((((((triple1) -> rule3)) -> rule1)) -> rule4) ((((((((triple1) -> rule3)) -> rule1)) -> rule4)) -> rule7)) -> rule5))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
((triple6) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
((triple4 ((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple6) -> (rule4 % int3)) ((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((triple4 ((((triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple6) -> (rule4 % int3)) ((((triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple7) -> (rule1 % int4))) -> (rule4 % int3)) ((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((triple4 ((((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple6) -> (rule4 % int4)) ((((((triple7) -> (rule1 % int3))) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((triple7) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
((triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
((((triple10) -> (rule4 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((((((triple9) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
((triple11 triple8) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple11
((triple10 triple9) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((((triple9) -> (rule3 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((triple1) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple2) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple3) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple4) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple6) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
((triple10) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple11 triple8) -> (rule6 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((((triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((triple9) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((triple2 ((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple3) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple2 ((((((triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple3) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
((((triple10) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((((triple11 triple8) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple10) -> (rule4 % int3)) ((((triple10) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple11 triple8) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple10) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((((triple9) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((((triple9) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple10) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple10) -> (rule4 % int5)) ((((((((triple9) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((((triple11 triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((((((((triple9) -> (rule3 % int3))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((((triple9) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((((((triple9) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Dave is furry.
("Dave" "is" "furry" "+")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
((((((((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((((((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5