Bob is big. Bob is nice. Bob is quiet. Bob is white. Dave is nice. Dave is red. Dave is smart. Fiona is smart. Harry is nice. Harry is red. All big people are red. If someone is quiet and red then they are cold. All nice people are smart. If someone is red and big then they are nice. Quiet people are red. If someone is smart then they are big. Nice people are quiet. All cold, quiet people are nice. If someone is cold and big then they are smart.
Bob is big.
("Bob" "is" "big" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
All big people are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is quiet and red then they are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
All nice people are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If someone is red and big then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Quiet people are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
If someone is smart then they are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Nice people are quiet.
((("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
All cold, quiet people are nice.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big then they are smart.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
Harry is red.
True
1
proof
[(triple10 OR ((((triple9) -> rule7)) -> rule5) OR ((((((triple9) -> rule3)) -> rule6)) -> rule1))]
("Harry" "is" "red" "+")
triple10
((((triple9) -> (rule7 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((((triple9) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Bob is not quiet.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule7) OR ((((((triple1) -> rule1) triple1) -> rule4)) -> rule7))]
("Bob" "is" "quiet" "-")
triple3
((triple2) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((((triple1) -> (rule1 % int3)) triple1) -> (rule4 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Fiona is big.
True
2
proof
[(((triple8) -> rule6))]
("Fiona" "is" "big" "+")
((triple8) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is not quiet.
False
2
inv-proof
[(((triple9) -> rule7))]
("Harry" "is" "quiet" "-")
((triple9) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Bob is cold.
True
4
proof
[(((triple3 ((triple1) -> rule1)) -> rule2) OR ((triple3 ((triple3) -> rule5)) -> rule2) OR ((((triple2) -> rule7) ((triple1) -> rule1)) -> rule2) OR ((((triple2) -> rule7) ((triple3) -> rule5)) -> rule2) OR ((triple3 ((((triple2) -> rule7)) -> rule5)) -> rule2) OR ((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule5)) -> rule2) OR ((triple3 ((((((triple2) -> rule3)) -> rule6)) -> rule1)) -> rule2) OR ((((triple2) -> rule7) ((((((triple2) -> rule3)) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple1) -> rule1) triple1) -> rule4)) -> rule7) ((triple1) -> rule1)) -> rule2) OR ((((((((triple1) -> rule1) triple1) -> rule4)) -> rule7) ((triple3) -> rule5)) -> rule2) OR ((((((((triple1) -> rule1) triple1) -> rule4)) -> rule7) ((((triple2) -> rule7)) -> rule5)) -> rule2) OR ((((((((triple1) -> rule1) triple1) -> rule4)) -> rule7) ((((((triple2) -> rule3)) -> rule6)) -> rule1)) -> rule2))]
("Bob" "is" "cold" "+")
((triple3 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((triple3 ((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple2) -> (rule7 % int3)) ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple2) -> (rule7 % int3)) ((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple3 ((((triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple2) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple3 ((((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple2) -> (rule7 % int5)) ((((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple1) -> (rule1 % int4)) triple1) -> (rule4 % int3))) -> (rule7 % int2)) ((triple1) -> (rule1 % int4))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple1) -> (rule1 % int4)) triple1) -> (rule4 % int3))) -> (rule7 % int2)) ((triple3) -> (rule5 % int4))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple1) -> (rule1 % int4)) triple1) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple2) -> (rule7 % int2))) -> (rule5 % int4))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple1) -> (rule1 % int6)) triple1) -> (rule4 % int5))) -> (rule7 % int4)) ((((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int6))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
Harry is not big.
False
3
inv-proof
[(((((triple9) -> rule3)) -> rule6))]
("Harry" "is" "big" "-")
((((triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Fiona is nice.
True
6
proof
[(((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule4))]
("Fiona" "is" "nice" "+")
((((((triple8) -> (rule6 % int3))) -> (rule1 % int2)) ((triple8) -> (rule6 % int3))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is not nice.
False
6
inv-proof
[(((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule4))]
("Fiona" "is" "nice" "-")
((((((triple8) -> (rule6 % int3))) -> (rule1 % int2)) ((triple8) -> (rule6 % int3))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
True
7
proof
[(((((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule4)) -> rule7))]
("Fiona" "is" "quiet" "+")
((((((((triple8) -> (rule6 % int4))) -> (rule1 % int3)) ((triple8) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is not quiet.
False
7
inv-proof
[(((((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule4)) -> rule7))]
("Fiona" "is" "quiet" "-")
((((((((triple8) -> (rule6 % int4))) -> (rule1 % int3)) ((triple8) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is cold.
True
11
proof
[(((((((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule4)) -> rule7) ((((triple8) -> rule6)) -> rule1)) -> rule2))]
("Fiona" "is" "cold" "+")
((((((((((triple8) -> (rule6 % int5))) -> (rule1 % int4)) ((triple8) -> (rule6 % int5))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is not cold.
False
11
inv-proof
[(((((((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule4)) -> rule7) ((((triple8) -> rule6)) -> rule1)) -> rule2))]
("Fiona" "is" "cold" "-")
((((((((((triple8) -> (rule6 % int5))) -> (rule1 % int4)) ((triple8) -> (rule6 % int5))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Bob is big.[(triple1 OR ((((triple2) -> rule3)) -> rule6) OR ((((((((triple3 ((triple3) -> rule5)) -> rule2) triple3) -> rule8)) -> rule3)) -> rule6))] Bob is nice.[(triple2 OR ((((triple1) -> rule1) triple1) -> rule4) OR ((((triple3) -> rule5) triple1) -> rule4) OR ((((triple3 ((triple1) -> rule1)) -> rule2) triple3) -> rule8) OR ((((triple3 ((triple3) -> rule5)) -> rule2) triple3) -> rule8))] Bob is quiet.[(triple3 OR ((triple2) -> rule7) OR ((((((triple1) -> rule1) triple1) -> rule4)) -> rule7))] Bob is white.[(triple4)] Dave is nice.[(triple5 OR ((triple6 ((triple7) -> rule6)) -> rule4) OR ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4))] Dave is red.[(triple6 OR ((((triple5) -> rule7)) -> rule5) OR ((((triple7) -> rule6)) -> rule1) OR ((((((triple5) -> rule3)) -> rule6)) -> rule1))] Dave is smart.[(triple7 OR ((triple5) -> rule3))] Fiona is smart.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10 OR ((((triple9) -> rule7)) -> rule5) OR ((((((triple9) -> rule3)) -> rule6)) -> rule1))] @1: Bob is red.[(((triple1) -> rule1) OR ((triple3) -> rule5) OR ((((triple2) -> rule7)) -> rule5) OR ((((((triple2) -> rule3)) -> rule6)) -> rule1))] Bob is smart.[(((triple2) -> rule3) OR ((((((triple1) -> rule1) triple1) -> rule4)) -> rule3) OR ((((((triple3) -> rule5) triple1) -> rule4)) -> rule3) OR ((((triple3 ((triple1) -> rule1)) -> rule2) triple1) -> rule9) OR ((((triple3 ((triple3) -> rule5)) -> rule2) triple1) -> rule9) OR ((((((triple2) -> rule7) ((triple1) -> rule1)) -> rule2) triple1) -> rule9) OR ((((((triple2) -> rule7) ((triple3) -> rule5)) -> rule2) triple1) -> rule9) OR ((((((triple3 ((triple1) -> rule1)) -> rule2) triple3) -> rule8)) -> rule3) OR ((((((triple3 ((triple3) -> rule5)) -> rule2) triple3) -> rule8)) -> rule3) OR ((((triple3 ((((triple2) -> rule7)) -> rule5)) -> rule2) triple1) -> rule9) OR ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule5)) -> rule2) triple1) -> rule9) OR ((((((((((triple1) -> rule1) triple1) -> rule4)) -> rule7) ((triple1) -> rule1)) -> rule2) triple1) -> rule9) OR ((((((((((triple1) -> rule1) triple1) -> rule4)) -> rule7) ((triple3) -> rule5)) -> rule2) triple1) -> rule9) OR ((((((((((triple1) -> rule1) triple1) -> rule4)) -> rule7) ((((triple2) -> rule7)) -> rule5)) -> rule2) triple1) -> rule9))] Dave is big.[(((triple7) -> rule6) OR ((((triple5) -> rule3)) -> rule6))] Dave is quiet.[(((triple5) -> rule7) OR ((((triple6 ((triple7) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4)) -> rule7))] Fiona is big.[(((triple8) -> rule6))] Harry is quiet.[(((triple9) -> rule7))] Harry is smart.[(((triple9) -> rule3))] @2: Bob is cold.[(((triple3 ((triple1) -> rule1)) -> rule2) OR ((triple3 ((triple3) -> rule5)) -> rule2) OR ((((triple2) -> rule7) ((triple1) -> rule1)) -> rule2) OR ((((triple2) -> rule7) ((triple3) -> rule5)) -> rule2) OR ((triple3 ((((triple2) -> rule7)) -> rule5)) -> rule2) OR ((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule5)) -> rule2) OR ((triple3 ((((((triple2) -> rule3)) -> rule6)) -> rule1)) -> rule2) OR ((((triple2) -> rule7) ((((((triple2) -> rule3)) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple1) -> rule1) triple1) -> rule4)) -> rule7) ((triple1) -> rule1)) -> rule2) OR ((((((((triple1) -> rule1) triple1) -> rule4)) -> rule7) ((triple3) -> rule5)) -> rule2) OR ((((((((triple1) -> rule1) triple1) -> rule4)) -> rule7) ((((triple2) -> rule7)) -> rule5)) -> rule2) OR ((((((((triple1) -> rule1) triple1) -> rule4)) -> rule7) ((((((triple2) -> rule3)) -> rule6)) -> rule1)) -> rule2))] Dave is cold.[(((((triple5) -> rule7) triple6) -> rule2) OR ((((triple5) -> rule7) ((((triple5) -> rule7)) -> rule5)) -> rule2) OR ((((triple5) -> rule7) ((((triple7) -> rule6)) -> rule1)) -> rule2) OR ((((((triple6 ((triple7) -> rule6)) -> rule4)) -> rule7) triple6) -> rule2) OR ((((triple5) -> rule7) ((((((triple5) -> rule3)) -> rule6)) -> rule1)) -> rule2) OR ((((((triple6 ((triple7) -> rule6)) -> rule4)) -> rule7) ((((triple5) -> rule7)) -> rule5)) -> rule2) OR ((((((triple6 ((triple7) -> rule6)) -> rule4)) -> rule7) ((((triple7) -> rule6)) -> rule1)) -> rule2) OR ((((((triple6 ((triple7) -> rule6)) -> rule4)) -> rule7) ((((((triple5) -> rule3)) -> rule6)) -> rule1)) -> rule2) OR ((((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4)) -> rule7) triple6) -> rule2) OR ((((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4)) -> rule7) ((((triple5) -> rule7)) -> rule5)) -> rule2) OR ((((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4)) -> rule7) ((((triple7) -> rule6)) -> rule1)) -> rule2) OR ((((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4)) -> rule7) ((((((triple5) -> rule3)) -> rule6)) -> rule1)) -> rule2))] Fiona is red.[(((((triple8) -> rule6)) -> rule1))] Harry is big.[(((((triple9) -> rule3)) -> rule6))] Harry is cold.[(((((triple9) -> rule7) triple10) -> rule2) OR ((((triple9) -> rule7) ((((triple9) -> rule7)) -> rule5)) -> rule2) OR ((((triple9) -> rule7) ((((((triple9) -> rule3)) -> rule6)) -> rule1)) -> rule2))] @3: Fiona is nice.[(((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule4))] @4: Fiona is quiet.[(((((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule4)) -> rule7))] @5: Fiona is cold.[(((((((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule4)) -> rule7) ((((triple8) -> rule6)) -> rule1)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((((((triple3 ((triple3) -> (rule5 % int5))) -> (rule2 % int4)) triple3) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
triple2
((((triple1) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple3) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple3 ((triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple3 ((triple3) -> (rule5 % int3))) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
((triple2) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((((triple1) -> (rule1 % int3)) triple1) -> (rule4 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
((triple6 ((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule1 % int2)) ((triple7) -> (rule6 % int3))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
triple6
((((triple5) -> (rule7 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((((triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
triple7
((triple5) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
((((triple9) -> (rule7 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((((triple9) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple3) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
((triple2) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((((triple1) -> (rule1 % int3)) triple1) -> (rule4 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple3) -> (rule5 % int3)) triple1) -> (rule4 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple3 ((triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule9 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple3 ((triple3) -> (rule5 % int3))) -> (rule2 % int2)) triple1) -> (rule9 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple2) -> (rule7 % int4)) ((triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule9 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple2) -> (rule7 % int4)) ((triple3) -> (rule5 % int3))) -> (rule2 % int2)) triple1) -> (rule9 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple3 ((triple1) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule8 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple3 ((triple3) -> (rule5 % int4))) -> (rule2 % int3)) triple3) -> (rule8 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple3 ((((triple2) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple1) -> (rule9 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple2) -> (rule7 % int4)) ((((triple2) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple1) -> (rule9 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((((triple1) -> (rule1 % int5)) triple1) -> (rule4 % int4))) -> (rule7 % int3)) ((triple1) -> (rule1 % int5))) -> (rule2 % int2)) triple1) -> (rule9 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((((triple1) -> (rule1 % int5)) triple1) -> (rule4 % int4))) -> (rule7 % int3)) ((triple3) -> (rule5 % int5))) -> (rule2 % int2)) triple1) -> (rule9 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((((triple1) -> (rule1 % int5)) triple1) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3))) -> (rule5 % int5))) -> (rule2 % int2)) triple1) -> (rule9 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
((triple7) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple5) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple6 ((triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((((triple7) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
((triple8) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple9) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple9) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple3 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((triple3 ((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple2) -> (rule7 % int3)) ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple2) -> (rule7 % int3)) ((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple3 ((((triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple2) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple3 ((((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple2) -> (rule7 % int5)) ((((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple1) -> (rule1 % int4)) triple1) -> (rule4 % int3))) -> (rule7 % int2)) ((triple1) -> (rule1 % int4))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple1) -> (rule1 % int4)) triple1) -> (rule4 % int3))) -> (rule7 % int2)) ((triple3) -> (rule5 % int4))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple1) -> (rule1 % int4)) triple1) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple2) -> (rule7 % int2))) -> (rule5 % int4))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple1) -> (rule1 % int6)) triple1) -> (rule4 % int5))) -> (rule7 % int4)) ((((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int6))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
Dave is cold.
("Dave" "is" "cold" "+")
((((triple5) -> (rule7 % int2)) triple6) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple5) -> (rule7 % int3)) ((((triple5) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple5) -> (rule7 % int4)) ((((triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple6 ((triple7) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) triple6) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple5) -> (rule7 % int5)) ((((((triple5) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple6 ((triple7) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((triple6 ((triple7) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((triple6 ((triple7) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule7 % int4)) ((((((triple5) -> (rule3 % int3))) -> (rule6 % int6))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
int6
((((((((((triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule6 % int5))) -> (rule4 % int3))) -> (rule7 % int2)) triple6) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule6 % int5))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple5) -> (rule7 % int2))) -> (rule5 % int4))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule6 % int5))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple7) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple7) -> (rule6 % int6))) -> (rule1 % int5)) ((triple7) -> (rule6 % int6))) -> (rule4 % int4))) -> (rule7 % int3)) ((((((triple5) -> (rule3 % int2))) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
int6
Fiona is red.
("Fiona" "is" "red" "+")
((((triple8) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple9) -> (rule7 % int2)) triple10) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple9) -> (rule7 % int3)) ((((triple9) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple9) -> (rule7 % int5)) ((((((triple9) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
((((((triple8) -> (rule6 % int3))) -> (rule1 % int2)) ((triple8) -> (rule6 % int3))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((((triple8) -> (rule6 % int4))) -> (rule1 % int3)) ((triple8) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((((((triple8) -> (rule6 % int5))) -> (rule1 % int4)) ((triple8) -> (rule6 % int5))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5