Bob is nice. Charlie is furry. Charlie is round. Charlie is white. Erin is nice. Erin is red. Erin is rough. Harry is furry. Harry is nice. Harry is red. Harry is rough. Harry is round. If something is red and rough then it is white. If something is round then it is rough. All nice things are red. If Bob is round and Bob is red then Bob is nice. White things are round. White, rough things are nice. Rough, red things are quiet. All red, nice things are white.
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is red and rough then it is white.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
If something is round then it is rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
All nice things are red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
If Bob is round and Bob is red then Bob is nice.
((("Bob" "is" "round" "+") ("Bob" "is" "red" "+")) -> ("Bob" "is" "nice" "+"))
White things are round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
White, rough things are nice.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
Rough, red things are quiet.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
All red, nice things are white.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Bob is nice.
True
1
proof
[(triple1)]
("Bob" "is" "nice" "+")
triple1
Harry is not round.
False
1
inv-proof
[(triple12 OR ((((triple10 triple11) -> rule1)) -> rule5) OR ((((triple10 triple9) -> rule8)) -> rule5) OR ((((((triple9) -> rule3) triple11) -> rule1)) -> rule5) OR ((((((triple9) -> rule3) triple9) -> rule8)) -> rule5))]
("Harry" "is" "round" "-")
triple12
((((triple10 triple11) -> (rule1 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple10 triple9) -> (rule8 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((((triple9) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple9) -> (rule3 % int3)) triple9) -> (rule8 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
True
3
proof
[(((triple11 triple10) -> rule7) OR ((triple11 ((triple9) -> rule3)) -> rule7) OR ((((triple12) -> rule2) triple10) -> rule7) OR ((((triple12) -> rule2) ((triple9) -> rule3)) -> rule7) OR ((((((((triple10 triple9) -> rule8)) -> rule5)) -> rule2) triple10) -> rule7) OR ((((((((triple10 triple9) -> rule8)) -> rule5)) -> rule2) ((triple9) -> rule3)) -> rule7) OR ((((((((((triple9) -> rule3) triple9) -> rule8)) -> rule5)) -> rule2) triple10) -> rule7) OR ((((((((((triple9) -> rule3) triple9) -> rule8)) -> rule5)) -> rule2) ((triple9) -> rule3)) -> rule7))]
("Harry" "is" "quiet" "+")
((triple11 triple10) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple11 ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple12) -> (rule2 % int2)) triple10) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple12) -> (rule2 % int3)) ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((((triple10 triple9) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple10) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((((triple10 triple9) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((((triple9) -> (rule3 % int5)) triple9) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple10) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((((((triple9) -> (rule3 % int5)) triple9) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple9) -> (rule3 % int5))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Erin is not quiet.
False
3
inv-proof
[(((triple7 triple6) -> rule7) OR ((triple7 ((triple5) -> rule3)) -> rule7) OR ((((((((triple6 triple5) -> rule8)) -> rule5)) -> rule2) triple6) -> rule7) OR ((((((((triple6 triple5) -> rule8)) -> rule5)) -> rule2) ((triple5) -> rule3)) -> rule7) OR ((((((((((triple5) -> rule3) triple5) -> rule8)) -> rule5)) -> rule2) triple6) -> rule7) OR ((((((((((triple5) -> rule3) triple5) -> rule8)) -> rule5)) -> rule2) ((triple5) -> rule3)) -> rule7))]
("Erin" "is" "quiet" "-")
((triple7 triple6) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple7 ((triple5) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((((((triple6 triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((((triple6 triple5) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple5) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((((((triple5) -> (rule3 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((((triple5) -> (rule3 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple5) -> (rule3 % int5))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is round.
True
4
proof
[(((((triple6 triple5) -> rule8)) -> rule5) OR ((((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple5) -> rule3) triple5) -> rule8)) -> rule5) OR ((((((triple5) -> rule3) triple7) -> rule1)) -> rule5))]
("Erin" "is" "round" "+")
((((triple6 triple5) -> (rule8 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple6 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((((triple5) -> (rule3 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5) -> (rule3 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Bob is not white.
False
4
inv-proof
[(((((triple1) -> rule3) triple1) -> rule8))]
("Bob" "is" "white" "-")
((((triple1) -> (rule3 % int2)) triple1) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
True
5
proof
[(((((((triple1) -> rule3) triple1) -> rule8)) -> rule5))]
("Bob" "is" "round" "+")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule8 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is not red.
False
5
inv-proof
[(((((triple4 ((triple3) -> rule2)) -> rule6)) -> rule3) OR ((((triple4 ((((triple4) -> rule5)) -> rule2)) -> rule6)) -> rule3))]
("Charlie" "is" "red" "-")
((((triple4 ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple4 ((((triple4) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Bob is rough.
True
6
proof
[(((((((((triple1) -> rule3) triple1) -> rule8)) -> rule5)) -> rule2))]
("Bob" "is" "rough" "+")
((((((((triple1) -> (rule3 % int4)) triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Charlie is not quiet.
False
8
inv-proof
[(((((triple3) -> rule2) ((((triple4 ((triple3) -> rule2)) -> rule6)) -> rule3)) -> rule7) OR ((((((triple4) -> rule5)) -> rule2) ((((triple4 ((triple3) -> rule2)) -> rule6)) -> rule3)) -> rule7) OR ((((triple3) -> rule2) ((((triple4 ((((triple4) -> rule5)) -> rule2)) -> rule6)) -> rule3)) -> rule7) OR ((((((triple4) -> rule5)) -> rule2) ((((triple4 ((((triple4) -> rule5)) -> rule2)) -> rule6)) -> rule3)) -> rule7))]
("Charlie" "is" "quiet" "-")
((((triple3) -> (rule2 % int4)) ((((triple4 ((triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple4) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple4 ((triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple3) -> (rule2 % int5)) ((((triple4 ((((triple4) -> (rule5 % int4))) -> (rule2 % int5))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple4) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple4 ((((triple4) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Bob is quiet.
True
9
proof
[(((((((((((triple1) -> rule3) triple1) -> rule8)) -> rule5)) -> rule2) ((triple1) -> rule3)) -> rule7))]
("Bob" "is" "quiet" "+")
((((((((((triple1) -> (rule3 % int5)) triple1) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple1) -> (rule3 % int5))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is not quiet.
False
9
inv-proof
[(((((((((((triple1) -> rule3) triple1) -> rule8)) -> rule5)) -> rule2) ((triple1) -> rule3)) -> rule7))]
("Bob" "is" "quiet" "-")
((((((((((triple1) -> (rule3 % int5)) triple1) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple1) -> (rule3 % int5))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is nice.[(triple1)] Charlie is furry.[(triple2)] Charlie is round.[(triple3 OR ((triple4) -> rule5))] Charlie is white.[(triple4)] Erin is nice.[(triple5 OR ((((triple6 triple7) -> rule1) triple7) -> rule6))] Erin is red.[(triple6 OR ((triple5) -> rule3))] Erin is rough.[(triple7 OR ((((((triple6 triple5) -> rule8)) -> rule5)) -> rule2) OR ((((((((triple5) -> rule3) triple5) -> rule8)) -> rule5)) -> rule2))] Harry is furry.[(triple8)] Harry is nice.[(triple9 OR ((((triple10 triple11) -> rule1) triple11) -> rule6) OR ((((triple10 triple11) -> rule1) ((triple12) -> rule2)) -> rule6) OR ((((triple10 ((triple12) -> rule2)) -> rule1) triple11) -> rule6) OR ((((triple10 ((triple12) -> rule2)) -> rule1) ((triple12) -> rule2)) -> rule6))] Harry is red.[(triple10 OR ((triple9) -> rule3))] Harry is rough.[(triple11 OR ((triple12) -> rule2) OR ((((((triple10 triple9) -> rule8)) -> rule5)) -> rule2) OR ((((((((triple9) -> rule3) triple9) -> rule8)) -> rule5)) -> rule2))] Harry is round.[(triple12 OR ((((triple10 triple11) -> rule1)) -> rule5) OR ((((triple10 triple9) -> rule8)) -> rule5) OR ((((((triple9) -> rule3) triple11) -> rule1)) -> rule5) OR ((((((triple9) -> rule3) triple9) -> rule8)) -> rule5))] @1: Bob is red.[(((triple1) -> rule3))] Charlie is rough.[(((triple3) -> rule2) OR ((((triple4) -> rule5)) -> rule2))] Erin is quiet.[(((triple7 triple6) -> rule7) OR ((triple7 ((triple5) -> rule3)) -> rule7) OR ((((((((triple6 triple5) -> rule8)) -> rule5)) -> rule2) triple6) -> rule7) OR ((((((((triple6 triple5) -> rule8)) -> rule5)) -> rule2) ((triple5) -> rule3)) -> rule7) OR ((((((((((triple5) -> rule3) triple5) -> rule8)) -> rule5)) -> rule2) triple6) -> rule7) OR ((((((((((triple5) -> rule3) triple5) -> rule8)) -> rule5)) -> rule2) ((triple5) -> rule3)) -> rule7))] Erin is white.[(((triple6 triple5) -> rule8) OR ((triple6 triple7) -> rule1) OR ((((triple5) -> rule3) triple5) -> rule8) OR ((((triple5) -> rule3) triple7) -> rule1))] Harry is quiet.[(((triple11 triple10) -> rule7) OR ((triple11 ((triple9) -> rule3)) -> rule7) OR ((((triple12) -> rule2) triple10) -> rule7) OR ((((triple12) -> rule2) ((triple9) -> rule3)) -> rule7) OR ((((((((triple10 triple9) -> rule8)) -> rule5)) -> rule2) triple10) -> rule7) OR ((((((((triple10 triple9) -> rule8)) -> rule5)) -> rule2) ((triple9) -> rule3)) -> rule7) OR ((((((((((triple9) -> rule3) triple9) -> rule8)) -> rule5)) -> rule2) triple10) -> rule7) OR ((((((((((triple9) -> rule3) triple9) -> rule8)) -> rule5)) -> rule2) ((triple9) -> rule3)) -> rule7))] Harry is white.[(((triple10 triple11) -> rule1) OR ((triple10 triple9) -> rule8) OR ((triple10 ((triple12) -> rule2)) -> rule1) OR ((((triple9) -> rule3) triple11) -> rule1) OR ((((triple9) -> rule3) triple9) -> rule8) OR ((((triple9) -> rule3) ((triple12) -> rule2)) -> rule1))] @2: Bob is white.[(((((triple1) -> rule3) triple1) -> rule8))] Charlie is nice.[(((triple4 ((triple3) -> rule2)) -> rule6) OR ((triple4 ((((triple4) -> rule5)) -> rule2)) -> rule6))] Erin is round.[(((((triple6 triple5) -> rule8)) -> rule5) OR ((((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple5) -> rule3) triple5) -> rule8)) -> rule5) OR ((((((triple5) -> rule3) triple7) -> rule1)) -> rule5))] @3: Bob is round.[(((((((triple1) -> rule3) triple1) -> rule8)) -> rule5))] Charlie is red.[(((((triple4 ((triple3) -> rule2)) -> rule6)) -> rule3) OR ((((triple4 ((((triple4) -> rule5)) -> rule2)) -> rule6)) -> rule3))] @4: Bob is rough.[(((((((((triple1) -> rule3) triple1) -> rule8)) -> rule5)) -> rule2))] Charlie is quiet.[(((((triple3) -> rule2) ((((triple4 ((triple3) -> rule2)) -> rule6)) -> rule3)) -> rule7) OR ((((((triple4) -> rule5)) -> rule2) ((((triple4 ((triple3) -> rule2)) -> rule6)) -> rule3)) -> rule7) OR ((((triple3) -> rule2) ((((triple4 ((((triple4) -> rule5)) -> rule2)) -> rule6)) -> rule3)) -> rule7) OR ((((((triple4) -> rule5)) -> rule2) ((((triple4 ((((triple4) -> rule5)) -> rule2)) -> rule6)) -> rule3)) -> rule7))] @5: Bob is quiet.[(((((((((((triple1) -> rule3) triple1) -> rule8)) -> rule5)) -> rule2) ((triple1) -> rule3)) -> rule7))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
((triple4) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
((((triple6 triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple6
((triple5) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple7
((((((triple6 triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
((((triple10 triple11) -> (rule1 % int2)) triple11) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple10 triple11) -> (rule1 % int3)) ((triple12) -> (rule2 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple10 ((triple12) -> (rule2 % int3))) -> (rule1 % int2)) triple11) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple10 ((triple12) -> (rule2 % int3))) -> (rule1 % int2)) ((triple12) -> (rule2 % int3))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
triple10
((triple9) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple11
((triple12) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((((triple10 triple9) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((((triple9) -> (rule3 % int4)) triple9) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
triple12
((((triple10 triple11) -> (rule1 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple10 triple9) -> (rule8 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((((triple9) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple9) -> (rule3 % int3)) triple9) -> (rule8 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple7 triple6) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple7 ((triple5) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((((((triple6 triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((((triple6 triple5) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple5) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((((((triple5) -> (rule3 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((((triple5) -> (rule3 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple5) -> (rule3 % int5))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
((triple6 triple5) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple6 triple7) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple5) -> (rule3 % int2)) triple5) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple5) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple11 triple10) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple11 ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple12) -> (rule2 % int2)) triple10) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple12) -> (rule2 % int3)) ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((((triple10 triple9) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple10) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((((triple10 triple9) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((((triple9) -> (rule3 % int5)) triple9) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple10) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((((((triple9) -> (rule3 % int5)) triple9) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple9) -> (rule3 % int5))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is white.
("Harry" "is" "white" "+")
((triple10 triple11) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple10 triple9) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple10 ((triple12) -> (rule2 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple9) -> (rule3 % int2)) triple11) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple9) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple9) -> (rule3 % int3)) ((triple12) -> (rule2 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4 ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((triple4 ((((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
((((triple6 triple5) -> (rule8 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple6 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((((triple5) -> (rule3 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5) -> (rule3 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule8 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((((triple4 ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple4 ((((triple4) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
((((((((triple1) -> (rule3 % int4)) triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple3) -> (rule2 % int4)) ((((triple4 ((triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple4) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple4 ((triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple3) -> (rule2 % int5)) ((((triple4 ((((triple4) -> (rule5 % int4))) -> (rule2 % int5))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple4) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple4 ((((triple4) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
((((((((((triple1) -> (rule3 % int5)) triple1) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple1) -> (rule3 % int5))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5