Anne is cold. Anne is kind. Anne is nice. Anne is red. Anne is round. Anne is white. Bob is quiet. Fiona is quiet. Fiona is red. Fiona is round. Harry is cold. Harry is kind. Harry is nice. Harry is white. If Bob is white and Bob is kind then Bob is red. All quiet people are red. Red, nice people are white. All red people are nice. If Bob is nice then Bob is red. White people are kind. All white, cold people are quiet. All kind people are round.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
If Bob is white and Bob is kind then Bob is red.
((("Bob" "is" "white" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "red" "+"))
All quiet people are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
Red, nice people are white.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
All red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If Bob is nice then Bob is red.
((("Bob" "is" "nice" "+")) -> ("Bob" "is" "red" "+"))
White people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
All white, cold people are quiet.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
All kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Harry is nice.
True
1
proof
[(triple13 OR ((((((triple14 triple11) -> rule7)) -> rule2)) -> rule4))]
("Harry" "is" "nice" "+")
triple13
((((((triple14 triple11) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is not kind.
False
1
inv-proof
[(triple12 OR ((triple14) -> rule6))]
("Harry" "is" "kind" "-")
triple12
((triple14) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
True
2
proof
[(((triple12) -> rule8) OR ((((triple14) -> rule6)) -> rule8))]
("Harry" "is" "round" "+")
((triple12) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple14) -> (rule6 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Anne is not quiet.
False
3
inv-proof
[(((triple6 triple1) -> rule7) OR ((((triple4 triple3) -> rule3) triple1) -> rule7) OR ((((triple4 ((triple4) -> rule4)) -> rule3) triple1) -> rule7))]
("Anne" "is" "quiet" "-")
((triple6 triple1) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple4 triple3) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple4 ((triple4) -> (rule4 % int3))) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Bob is nice.
True
3
proof
[(((((triple7) -> rule2)) -> rule4))]
("Bob" "is" "nice" "+")
((((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Fiona is not white.
False
4
inv-proof
[(((triple9 ((triple9) -> rule4)) -> rule3) OR ((((triple8) -> rule2) ((triple9) -> rule4)) -> rule3) OR ((triple9 ((((triple8) -> rule2)) -> rule4)) -> rule3) OR ((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule4)) -> rule3))]
("Fiona" "is" "white" "-")
((triple9 ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple9 ((((triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple8) -> (rule2 % int3)) ((((triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
True
5
proof
[(((((triple9 ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((((((triple8) -> rule2) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((((triple9 ((((triple8) -> rule2)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule4)) -> rule3)) -> rule6))]
("Fiona" "is" "kind" "+")
((((triple9 ((triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple8) -> (rule2 % int4)) ((triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((triple9 ((((triple8) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple8) -> (rule2 % int4)) ((((triple8) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Bob is not white.
False
6
inv-proof
[(((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule4)) -> rule3))]
("Bob" "is" "white" "-")
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is kind.
True
7
proof
[(((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule6))]
("Bob" "is" "kind" "+")
((((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is not kind.
False
7
inv-proof
[(((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule6))]
("Bob" "is" "kind" "-")
((((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is round.
True
8
proof
[(((((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule6)) -> rule8))]
("Bob" "is" "round" "+")
((((((((triple7) -> (rule2 % int5)) ((((triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is not round.
False
8
inv-proof
[(((((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule6)) -> rule8))]
("Bob" "is" "round" "-")
((((((((triple7) -> (rule2 % int5)) ((((triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2 OR ((triple6) -> rule6) OR ((((triple4 triple3) -> rule3)) -> rule6) OR ((((triple4 ((triple4) -> rule4)) -> rule3)) -> rule6))] Anne is nice.[(triple3 OR ((triple4) -> rule4) OR ((((((triple6 triple1) -> rule7)) -> rule2)) -> rule4))] Anne is red.[(triple4 OR ((((triple6 triple1) -> rule7)) -> rule2))] Anne is round.[(triple5 OR ((triple2) -> rule8) OR ((((triple6) -> rule6)) -> rule8) OR ((((((triple4 triple3) -> rule3)) -> rule6)) -> rule8) OR ((((((triple4 ((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule8))] Anne is white.[(triple6 OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple4) -> rule4)) -> rule3))] Bob is quiet.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9 OR ((triple8) -> rule2))] Fiona is round.[(triple10 OR ((((((triple9 ((triple9) -> rule4)) -> rule3)) -> rule6)) -> rule8) OR ((((((((triple8) -> rule2) ((triple9) -> rule4)) -> rule3)) -> rule6)) -> rule8) OR ((((((triple9 ((((triple8) -> rule2)) -> rule4)) -> rule3)) -> rule6)) -> rule8) OR ((((((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule4)) -> rule3)) -> rule6)) -> rule8))] Harry is cold.[(triple11)] Harry is kind.[(triple12 OR ((triple14) -> rule6))] Harry is nice.[(triple13 OR ((((((triple14 triple11) -> rule7)) -> rule2)) -> rule4))] Harry is white.[(triple14)] @1: Anne is quiet.[(((triple6 triple1) -> rule7) OR ((((triple4 triple3) -> rule3) triple1) -> rule7) OR ((((triple4 ((triple4) -> rule4)) -> rule3) triple1) -> rule7))] Bob is red.[(((triple7) -> rule2))] Fiona is nice.[(((triple9) -> rule4) OR ((((triple8) -> rule2)) -> rule4))] Harry is quiet.[(((triple14 triple11) -> rule7))] Harry is round.[(((triple12) -> rule8) OR ((((triple14) -> rule6)) -> rule8))] @2: Bob is nice.[(((((triple7) -> rule2)) -> rule4))] Fiona is white.[(((triple9 ((triple9) -> rule4)) -> rule3) OR ((((triple8) -> rule2) ((triple9) -> rule4)) -> rule3) OR ((triple9 ((((triple8) -> rule2)) -> rule4)) -> rule3) OR ((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule4)) -> rule3))] Harry is red.[(((((triple14 triple11) -> rule7)) -> rule2))] @3: Bob is white.[(((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule4)) -> rule3))] Fiona is kind.[(((((triple9 ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((((((triple8) -> rule2) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((((triple9 ((((triple8) -> rule2)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple8) -> rule2) ((((triple8) -> rule2)) -> rule4)) -> rule3)) -> rule6))] @4: Bob is kind.[(((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule6))] @5: Bob is round.[(((((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule4)) -> rule3)) -> rule6)) -> rule8))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple6) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple4 triple3) -> (rule3 % int2))) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple4 ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple4) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((((triple6 triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
triple4
((((triple6 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
triple5
((triple2) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple4 triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple4 ((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
triple6
((triple4 triple3) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple4 ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
((triple8) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple10
((((((triple9 ((triple9) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple8) -> (rule2 % int5)) ((triple9) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((triple9 ((((triple8) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((((triple8) -> (rule2 % int5)) ((((triple8) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple12
((triple14) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple13
((((((triple14 triple11) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
triple14
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple6 triple1) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple4 triple3) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple4 ((triple4) -> (rule4 % int3))) -> (rule3 % int2)) triple1) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((triple7) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple9) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple8) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple14 triple11) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple12) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple14) -> (rule6 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((triple9 ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple9 ((((triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple8) -> (rule2 % int3)) ((((triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((((triple14 triple11) -> (rule7 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple9 ((triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple8) -> (rule2 % int4)) ((triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((triple9 ((((triple8) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple8) -> (rule2 % int4)) ((((triple8) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
((((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
((((((((triple7) -> (rule2 % int5)) ((((triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5