Bob is nice. Bob is rough. Erin is big. Erin is red. Erin is rough. Fiona is nice. Fiona is red. Fiona is rough. Harry is quiet. Harry is red. Harry is round. If something is quiet and red then it is big. All quiet, red things are kind. All rough things are kind. All nice, big things are round. If something is red then it is quiet. Red things are kind. All kind things are red. Red things are nice.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is quiet and red then it is big.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
All quiet, red things are kind.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
All rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
All nice, big things are round.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
If something is red then it is quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
Red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
All kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Harry is quiet.
True
1
proof
[(triple9 OR ((triple10) -> rule5))]
("Harry" "is" "quiet" "+")
triple9
((triple10) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Fiona is not nice.
False
1
inv-proof
[(triple6 OR ((triple7) -> rule8) OR ((((((triple8) -> rule3)) -> rule7)) -> rule8))]
("Fiona" "is" "nice" "-")
triple6
((triple7) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Harry is nice.
True
2
proof
[(((triple10) -> rule8))]
("Harry" "is" "nice" "+")
((triple10) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not big.
False
3
inv-proof
[(((triple9 triple10) -> rule1) OR ((((triple10) -> rule5) triple10) -> rule1))]
("Harry" "is" "big" "-")
((triple9 triple10) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple10) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Erin is round.
True
4
proof
[(((((triple4) -> rule8) triple3) -> rule4) OR ((((triple4) -> rule8) ((((triple4) -> rule5) triple4) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule8) triple3) -> rule4) OR ((((triple4) -> rule8) ((((triple4) -> rule5) ((((triple5) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule8) ((((triple4) -> rule5) triple4) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule8) ((((triple4) -> rule5) ((((triple5) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((triple4) -> rule8) ((((((((triple5) -> rule3)) -> rule7)) -> rule5) triple4) -> rule1)) -> rule4) OR ((((triple4) -> rule8) ((((((((triple5) -> rule3)) -> rule7)) -> rule5) ((((triple5) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule8) ((((((((triple5) -> rule3)) -> rule7)) -> rule5) triple4) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule8) ((((((((triple5) -> rule3)) -> rule7)) -> rule5) ((((triple5) -> rule3)) -> rule7)) -> rule1)) -> rule4))]
("Erin" "is" "round" "+")
((((triple4) -> (rule8 % int2)) triple3) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple4) -> (rule8 % int4)) ((((triple4) -> (rule5 % int3)) triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple5) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple3) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple4) -> (rule8 % int6)) ((((triple4) -> (rule5 % int5)) ((((triple5) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple4) -> (rule5 % int3)) triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple4) -> (rule5 % int3)) ((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((triple4) -> (rule8 % int6)) ((((((((triple5) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((triple4) -> (rule8 % int6)) ((((((((triple5) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) ((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
Erin is not round.
False
4
inv-proof
[(((((triple4) -> rule8) triple3) -> rule4) OR ((((triple4) -> rule8) ((((triple4) -> rule5) triple4) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule8) triple3) -> rule4) OR ((((triple4) -> rule8) ((((triple4) -> rule5) ((((triple5) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule8) ((((triple4) -> rule5) triple4) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule8) ((((triple4) -> rule5) ((((triple5) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((triple4) -> rule8) ((((((((triple5) -> rule3)) -> rule7)) -> rule5) triple4) -> rule1)) -> rule4) OR ((((triple4) -> rule8) ((((((((triple5) -> rule3)) -> rule7)) -> rule5) ((((triple5) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule8) ((((((((triple5) -> rule3)) -> rule7)) -> rule5) triple4) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule8) ((((((((triple5) -> rule3)) -> rule7)) -> rule5) ((((triple5) -> rule3)) -> rule7)) -> rule1)) -> rule4))]
("Erin" "is" "round" "-")
((((triple4) -> (rule8 % int2)) triple3) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple4) -> (rule8 % int4)) ((((triple4) -> (rule5 % int3)) triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple5) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple3) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple4) -> (rule8 % int6)) ((((triple4) -> (rule5 % int5)) ((((triple5) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple4) -> (rule5 % int3)) triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple4) -> (rule5 % int3)) ((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((triple4) -> (rule8 % int6)) ((((((((triple5) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((triple4) -> (rule8 % int6)) ((((((((triple5) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) ((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
Bob is quiet.
True
4
proof
[(((((((triple2) -> rule3)) -> rule7)) -> rule5))]
("Bob" "is" "quiet" "+")
((((((triple2) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not quiet.
False
4
inv-proof
[(((((((triple2) -> rule3)) -> rule7)) -> rule5))]
("Bob" "is" "quiet" "-")
((((((triple2) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
True
8
proof
[(((((((((triple2) -> rule3)) -> rule7)) -> rule5) ((((triple2) -> rule3)) -> rule7)) -> rule1))]
("Bob" "is" "big" "+")
((((((((triple2) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple2) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is not big.
False
8
inv-proof
[(((((((((triple2) -> rule3)) -> rule7)) -> rule5) ((((triple2) -> rule3)) -> rule7)) -> rule1))]
("Bob" "is" "big" "-")
((((((((triple2) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple2) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
True
10
proof
[(((triple1 ((((((((triple2) -> rule3)) -> rule7)) -> rule5) ((((triple2) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule7)) -> rule8) ((((((((triple2) -> rule3)) -> rule7)) -> rule5) ((((triple2) -> rule3)) -> rule7)) -> rule1)) -> rule4))]
("Bob" "is" "round" "+")
((triple1 ((((((((triple2) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple2) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple2) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((((triple2) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) ((((triple2) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
Bob is not round.
False
10
inv-proof
[(((triple1 ((((((((triple2) -> rule3)) -> rule7)) -> rule5) ((((triple2) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule7)) -> rule8) ((((((((triple2) -> rule3)) -> rule7)) -> rule5) ((((triple2) -> rule3)) -> rule7)) -> rule1)) -> rule4))]
("Bob" "is" "round" "-")
((triple1 ((((((((triple2) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple2) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple2) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((((triple2) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) ((((triple2) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
@0: Bob is nice.[(triple1 OR ((((((triple2) -> rule3)) -> rule7)) -> rule8))] Bob is rough.[(triple2)] Erin is big.[(triple3 OR ((((triple4) -> rule5) triple4) -> rule1) OR ((((triple4) -> rule5) ((((triple5) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule5) triple4) -> rule1) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule5) ((((triple5) -> rule3)) -> rule7)) -> rule1))] Erin is red.[(triple4 OR ((((triple5) -> rule3)) -> rule7))] Erin is rough.[(triple5)] Fiona is nice.[(triple6 OR ((triple7) -> rule8) OR ((((((triple8) -> rule3)) -> rule7)) -> rule8))] Fiona is red.[(triple7 OR ((((triple8) -> rule3)) -> rule7))] Fiona is rough.[(triple8)] Harry is quiet.[(triple9 OR ((triple10) -> rule5))] Harry is red.[(triple10)] Harry is round.[(triple11 OR ((((triple10) -> rule8) ((triple9 triple10) -> rule1)) -> rule4) OR ((((triple10) -> rule8) ((((triple10) -> rule5) triple10) -> rule1)) -> rule4))] @1: Bob is kind.[(((triple2) -> rule3))] Erin is kind.[(((triple4) -> rule6) OR ((triple5) -> rule3) OR ((((triple4) -> rule5) triple4) -> rule2))] Erin is nice.[(((triple4) -> rule8) OR ((((((triple5) -> rule3)) -> rule7)) -> rule8))] Erin is quiet.[(((triple4) -> rule5) OR ((((((triple5) -> rule3)) -> rule7)) -> rule5))] Fiona is kind.[(((triple7) -> rule6) OR ((triple8) -> rule3) OR ((((triple7) -> rule5) triple7) -> rule2))] Fiona is quiet.[(((triple7) -> rule5) OR ((((((triple8) -> rule3)) -> rule7)) -> rule5))] Harry is big.[(((triple9 triple10) -> rule1) OR ((((triple10) -> rule5) triple10) -> rule1))] Harry is kind.[(((triple10) -> rule6) OR ((triple9 triple10) -> rule2) OR ((((triple10) -> rule5) triple10) -> rule2))] Harry is nice.[(((triple10) -> rule8))] @2: Bob is red.[(((((triple2) -> rule3)) -> rule7))] Erin is round.[(((((triple4) -> rule8) triple3) -> rule4) OR ((((triple4) -> rule8) ((((triple4) -> rule5) triple4) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule8) triple3) -> rule4) OR ((((triple4) -> rule8) ((((triple4) -> rule5) ((((triple5) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule8) ((((triple4) -> rule5) triple4) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule8) ((((triple4) -> rule5) ((((triple5) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((triple4) -> rule8) ((((((((triple5) -> rule3)) -> rule7)) -> rule5) triple4) -> rule1)) -> rule4) OR ((((triple4) -> rule8) ((((((((triple5) -> rule3)) -> rule7)) -> rule5) ((((triple5) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule8) ((((((((triple5) -> rule3)) -> rule7)) -> rule5) triple4) -> rule1)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule7)) -> rule8) ((((((((triple5) -> rule3)) -> rule7)) -> rule5) ((((triple5) -> rule3)) -> rule7)) -> rule1)) -> rule4))] Fiona is big.[(((((triple7) -> rule5) triple7) -> rule1) OR ((((triple7) -> rule5) ((((triple8) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple8) -> rule3)) -> rule7)) -> rule5) triple7) -> rule1) OR ((((((((triple8) -> rule3)) -> rule7)) -> rule5) ((((triple8) -> rule3)) -> rule7)) -> rule1))] @3: Bob is quiet.[(((((((triple2) -> rule3)) -> rule7)) -> rule5))] Fiona is round.[(((triple6 ((((triple7) -> rule5) triple7) -> rule1)) -> rule4) OR ((((triple7) -> rule8) ((((triple7) -> rule5) triple7) -> rule1)) -> rule4) OR ((triple6 ((((triple7) -> rule5) ((((triple8) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((triple7) -> rule8) ((((triple7) -> rule5) ((((triple8) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple8) -> rule3)) -> rule7)) -> rule8) ((((triple7) -> rule5) triple7) -> rule1)) -> rule4) OR ((((((((triple8) -> rule3)) -> rule7)) -> rule8) ((((triple7) -> rule5) ((((triple8) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((triple6 ((((((((triple8) -> rule3)) -> rule7)) -> rule5) triple7) -> rule1)) -> rule4) OR ((((triple7) -> rule8) ((((((((triple8) -> rule3)) -> rule7)) -> rule5) triple7) -> rule1)) -> rule4) OR ((triple6 ((((((((triple8) -> rule3)) -> rule7)) -> rule5) ((((triple8) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((triple7) -> rule8) ((((((((triple8) -> rule3)) -> rule7)) -> rule5) ((((triple8) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple8) -> rule3)) -> rule7)) -> rule8) ((((((((triple8) -> rule3)) -> rule7)) -> rule5) triple7) -> rule1)) -> rule4) OR ((((((((triple8) -> rule3)) -> rule7)) -> rule8) ((((((((triple8) -> rule3)) -> rule7)) -> rule5) ((((triple8) -> rule3)) -> rule7)) -> rule1)) -> rule4))] @4: Bob is big.[(((((((((triple2) -> rule3)) -> rule7)) -> rule5) ((((triple2) -> rule3)) -> rule7)) -> rule1))] @5: Bob is round.[(((triple1 ((((((((triple2) -> rule3)) -> rule7)) -> rule5) ((((triple2) -> rule3)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule7)) -> rule8) ((((((((triple2) -> rule3)) -> rule7)) -> rule5) ((((triple2) -> rule3)) -> rule7)) -> rule1)) -> rule4))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
((((((triple2) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
((((triple4) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple4) -> (rule5 % int4)) ((((triple5) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((((triple5) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((((triple5) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple5) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
triple4
((((triple5) -> (rule3 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
((triple7) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple7
((((triple8) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
((triple10) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
((((triple10) -> (rule8 % int3)) ((triple9 triple10) -> (rule1 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple10) -> (rule8 % int4)) ((((triple10) -> (rule5 % int3)) triple10) -> (rule1 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple4) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple5) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple4) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((triple4) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((((triple5) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple4) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((((triple5) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple7) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple8) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple7) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple7) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((triple9 triple10) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple10) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple10) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple9 triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple10) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple10) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((((triple2) -> (rule3 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((((triple4) -> (rule8 % int2)) triple3) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple4) -> (rule8 % int4)) ((((triple4) -> (rule5 % int3)) triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple5) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple3) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple4) -> (rule8 % int6)) ((((triple4) -> (rule5 % int5)) ((((triple5) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple4) -> (rule5 % int3)) triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple4) -> (rule5 % int3)) ((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((triple4) -> (rule8 % int6)) ((((((((triple5) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((triple4) -> (rule8 % int6)) ((((((((triple5) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) triple4) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) ((((triple5) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
Fiona is big.
("Fiona" "is" "big" "+")
((((triple7) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple7) -> (rule5 % int4)) ((((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple8) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
((((((triple2) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((triple6 ((((triple7) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((triple7) -> (rule8 % int4)) ((((triple7) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((triple6 ((((triple7) -> (rule5 % int5)) ((((triple8) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((triple7) -> (rule8 % int6)) ((((triple7) -> (rule5 % int5)) ((((triple8) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((((triple8) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is kind.
("Fiona" "is" "kind" "+")
int6
((((((((triple8) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule5 % int3)) ((((triple8) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is kind.
("Fiona" "is" "kind" "+")
int6
((triple6 ((((((((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple7) -> (rule8 % int6)) ((((((((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((triple6 ((((((((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((triple7) -> (rule8 % int6)) ((((((((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple8) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((((triple8) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((((triple8) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is kind.
("Fiona" "is" "kind" "+")
int6
((((((((triple8) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((((triple8) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) ((((triple8) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is kind.
("Fiona" "is" "kind" "+")
int6
Bob is big.
("Bob" "is" "big" "+")
((((((((triple2) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple2) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
((triple1 ((((((((triple2) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple2) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple2) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((((triple2) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) ((((triple2) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6