Bob is big. Bob is cold. Bob is quiet. Bob is round. Charlie is cold. Dave is big. Dave is cold. Dave is kind. Dave is quiet. Harry is big. Harry is cold. Harry is kind. Harry is rough. Harry is round. If something is cold then it is smart. All rough, big things are smart. Kind things are smart. If something is round then it is quiet. If something is smart then it is round. Cold, quiet things are kind. All big things are kind. All rough things are kind. Kind things are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is cold then it is smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
All rough, big things are smart.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
Kind things are smart.
((("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
If something is round then it is quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
If something is smart then it is round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
Cold, quiet things are kind.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
All big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
All rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Harry is big.
True
1
proof
[(triple10 OR ((triple12) -> rule9) OR ((((triple13) -> rule8)) -> rule9) OR ((((triple11 ((triple14) -> rule4)) -> rule6)) -> rule9) OR ((((triple11 ((((((triple11) -> rule1)) -> rule5)) -> rule4)) -> rule6)) -> rule9))]
("Harry" "is" "big" "+")
triple10
((triple12) -> (rule9 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple13) -> (rule8 % int2))) -> (rule9 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple11 ((triple14) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple11 ((((((triple11) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is not big.
False
1
inv-proof
[(triple10 OR ((triple12) -> rule9) OR ((((triple13) -> rule8)) -> rule9) OR ((((triple11 ((triple14) -> rule4)) -> rule6)) -> rule9) OR ((((triple11 ((((((triple11) -> rule1)) -> rule5)) -> rule4)) -> rule6)) -> rule9))]
("Harry" "is" "big" "-")
triple10
((triple12) -> (rule9 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple13) -> (rule8 % int2))) -> (rule9 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple11 ((triple14) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple11 ((((((triple11) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Bob is smart.
True
2
proof
[(((triple2) -> rule1) OR ((((triple1) -> rule7)) -> rule3) OR ((((triple2 triple3) -> rule6)) -> rule3) OR ((((triple2 ((triple4) -> rule4)) -> rule6)) -> rule3))]
("Bob" "is" "smart" "+")
((triple2) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple2 triple3) -> (rule6 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple2 ((triple4) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Dave is not smart.
False
2
inv-proof
[(((triple7) -> rule1) OR ((triple8) -> rule3) OR ((((triple6) -> rule7)) -> rule3) OR ((((triple7 triple9) -> rule6)) -> rule3))]
("Dave" "is" "smart" "-")
((triple7) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple8) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple7 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
True
3
proof
[(((((triple7) -> rule1)) -> rule5) OR ((((triple8) -> rule3)) -> rule5) OR ((((((triple6) -> rule7)) -> rule3)) -> rule5) OR ((((((triple7 triple9) -> rule6)) -> rule3)) -> rule5))]
("Dave" "is" "round" "+")
((((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple8) -> (rule3 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((((triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple7 triple9) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not round.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule5) OR ((((triple8) -> rule3)) -> rule5) OR ((((((triple6) -> rule7)) -> rule3)) -> rule5) OR ((((((triple7 triple9) -> rule6)) -> rule3)) -> rule5))]
("Dave" "is" "round" "-")
((((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple8) -> (rule3 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((((triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple7 triple9) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Charlie is quiet.
True
4
proof
[(((((((triple5) -> rule1)) -> rule5)) -> rule4))]
("Charlie" "is" "quiet" "+")
((((((triple5) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is not quiet.
False
4
inv-proof
[(((((((triple5) -> rule1)) -> rule5)) -> rule4))]
("Charlie" "is" "quiet" "-")
((((((triple5) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
True
6
proof
[(((triple5 ((((((triple5) -> rule1)) -> rule5)) -> rule4)) -> rule6))]
("Charlie" "is" "kind" "+")
((triple5 ((((((triple5) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is not kind.
False
6
inv-proof
[(((triple5 ((((((triple5) -> rule1)) -> rule5)) -> rule4)) -> rule6))]
("Charlie" "is" "kind" "-")
((triple5 ((((((triple5) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is big.
True
7
proof
[(((((triple5 ((((((triple5) -> rule1)) -> rule5)) -> rule4)) -> rule6)) -> rule9))]
("Charlie" "is" "big" "+")
((((triple5 ((((((triple5) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is not big.
False
7
inv-proof
[(((((triple5 ((((((triple5) -> rule1)) -> rule5)) -> rule4)) -> rule6)) -> rule9))]
("Charlie" "is" "big" "-")
((((triple5 ((((((triple5) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Bob is big.[(triple1 OR ((((triple2 triple3) -> rule6)) -> rule9) OR ((((triple2 ((triple4) -> rule4)) -> rule6)) -> rule9) OR ((((triple2 ((((((triple2) -> rule1)) -> rule5)) -> rule4)) -> rule6)) -> rule9))] Bob is cold.[(triple2)] Bob is quiet.[(triple3 OR ((triple4) -> rule4) OR ((((((triple2) -> rule1)) -> rule5)) -> rule4) OR ((((((((triple1) -> rule7)) -> rule3)) -> rule5)) -> rule4))] Bob is round.[(triple4 OR ((((triple2) -> rule1)) -> rule5) OR ((((((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((((triple2 triple3) -> rule6)) -> rule3)) -> rule5))] Charlie is cold.[(triple5)] Dave is big.[(triple6 OR ((triple8) -> rule9) OR ((((triple7 triple9) -> rule6)) -> rule9) OR ((((triple7 ((((((triple7) -> rule1)) -> rule5)) -> rule4)) -> rule6)) -> rule9))] Dave is cold.[(triple7)] Dave is kind.[(triple8 OR ((triple6) -> rule7) OR ((triple7 triple9) -> rule6) OR ((triple7 ((((((triple7) -> rule1)) -> rule5)) -> rule4)) -> rule6))] Dave is quiet.[(triple9 OR ((((((triple7) -> rule1)) -> rule5)) -> rule4) OR ((((((triple8) -> rule3)) -> rule5)) -> rule4) OR ((((((((triple6) -> rule7)) -> rule3)) -> rule5)) -> rule4))] Harry is big.[(triple10 OR ((triple12) -> rule9) OR ((((triple13) -> rule8)) -> rule9) OR ((((triple11 ((triple14) -> rule4)) -> rule6)) -> rule9) OR ((((triple11 ((((((triple11) -> rule1)) -> rule5)) -> rule4)) -> rule6)) -> rule9))] Harry is cold.[(triple11)] Harry is kind.[(triple12 OR ((triple10) -> rule7) OR ((triple13) -> rule8) OR ((triple11 ((triple14) -> rule4)) -> rule6) OR ((triple11 ((((((triple11) -> rule1)) -> rule5)) -> rule4)) -> rule6) OR ((triple11 ((((((triple13 triple10) -> rule2)) -> rule5)) -> rule4)) -> rule6))] Harry is rough.[(triple13)] Harry is round.[(triple14 OR ((((triple11) -> rule1)) -> rule5) OR ((((triple12) -> rule3)) -> rule5) OR ((((triple13 triple10) -> rule2)) -> rule5) OR ((((((triple10) -> rule7)) -> rule3)) -> rule5) OR ((((((triple13) -> rule8)) -> rule3)) -> rule5) OR ((((triple13 ((triple12) -> rule9)) -> rule2)) -> rule5) OR ((((triple13 ((((triple13) -> rule8)) -> rule9)) -> rule2)) -> rule5))] @1: Bob is kind.[(((triple1) -> rule7) OR ((triple2 triple3) -> rule6) OR ((triple2 ((triple4) -> rule4)) -> rule6) OR ((triple2 ((((((triple2) -> rule1)) -> rule5)) -> rule4)) -> rule6))] Bob is smart.[(((triple2) -> rule1) OR ((((triple1) -> rule7)) -> rule3) OR ((((triple2 triple3) -> rule6)) -> rule3) OR ((((triple2 ((triple4) -> rule4)) -> rule6)) -> rule3))] Charlie is smart.[(((triple5) -> rule1))] Dave is smart.[(((triple7) -> rule1) OR ((triple8) -> rule3) OR ((((triple6) -> rule7)) -> rule3) OR ((((triple7 triple9) -> rule6)) -> rule3))] Harry is quiet.[(((triple14) -> rule4) OR ((((((triple11) -> rule1)) -> rule5)) -> rule4) OR ((((((triple12) -> rule3)) -> rule5)) -> rule4) OR ((((((triple13 triple10) -> rule2)) -> rule5)) -> rule4) OR ((((((((triple10) -> rule7)) -> rule3)) -> rule5)) -> rule4) OR ((((((((triple13) -> rule8)) -> rule3)) -> rule5)) -> rule4) OR ((((((triple13 ((triple12) -> rule9)) -> rule2)) -> rule5)) -> rule4) OR ((((((triple13 ((((triple13) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule4))] Harry is smart.[(((triple11) -> rule1) OR ((triple12) -> rule3) OR ((triple13 triple10) -> rule2) OR ((((triple10) -> rule7)) -> rule3) OR ((((triple13) -> rule8)) -> rule3) OR ((triple13 ((triple12) -> rule9)) -> rule2) OR ((((triple11 ((triple14) -> rule4)) -> rule6)) -> rule3) OR ((triple13 ((((triple13) -> rule8)) -> rule9)) -> rule2) OR ((triple13 ((((triple11 ((triple14) -> rule4)) -> rule6)) -> rule9)) -> rule2))] @2: Charlie is round.[(((((triple5) -> rule1)) -> rule5))] Dave is round.[(((((triple7) -> rule1)) -> rule5) OR ((((triple8) -> rule3)) -> rule5) OR ((((((triple6) -> rule7)) -> rule3)) -> rule5) OR ((((((triple7 triple9) -> rule6)) -> rule3)) -> rule5))] @3: Charlie is quiet.[(((((((triple5) -> rule1)) -> rule5)) -> rule4))] @4: Charlie is kind.[(((triple5 ((((((triple5) -> rule1)) -> rule5)) -> rule4)) -> rule6))] @5: Charlie is big.[(((((triple5 ((((((triple5) -> rule1)) -> rule5)) -> rule4)) -> rule6)) -> rule9))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((((triple2 triple3) -> (rule6 % int2))) -> (rule9 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple2 ((triple4) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple2 ((((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
((triple4) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((((triple1) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
triple4
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple2 triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
((triple8) -> (rule9 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple7 triple9) -> (rule6 % int2))) -> (rule9 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple7 ((((((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple8
((triple6) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple7 triple9) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple7 ((((((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple9
((((((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((((triple6) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
triple10
((triple12) -> (rule9 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple13) -> (rule8 % int2))) -> (rule9 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple11 ((triple14) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple11 ((((((triple11) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple12
((triple10) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple13) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple11 ((triple14) -> (rule4 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((triple11 ((((((triple11) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((triple11 ((((((triple13 triple10) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
((((triple11) -> (rule1 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple12) -> (rule3 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple13 triple10) -> (rule2 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple13) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple13 ((triple12) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple13 ((((triple13) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
((triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple2 triple3) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple2 ((triple4) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((triple2 ((((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
((triple2) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple2 triple3) -> (rule6 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple2 ((triple4) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple5) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((triple7) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple8) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple7 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple14) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((((triple11) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple12) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple13 triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((((triple10) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((((triple13) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple13 ((triple12) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple13 ((((triple13) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
((triple11) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple12) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple13 triple10) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple13) -> (rule8 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((triple13 ((triple12) -> (rule9 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple11 ((triple14) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((triple13 ((((triple13) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple13 ((((triple11 ((triple14) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
((((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple8) -> (rule3 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((((triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple7 triple9) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((((triple5) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5 ((((((triple5) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
((((triple5 ((((((triple5) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5