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