Bob is quiet. Bob is rough. Charlie is rough. Dave is green. Dave is not rough. Dave is smart. Gary is green. Gary is nice. Gary is red. Gary is rough. Gary is not round. Gary is smart. If something is green and smart then it is nice. All red things are green. All smart things are green. All green, rough things are smart. If something is nice then it is quiet. If Dave is smart and Dave is nice then Dave is not red. If something is rough then it is red. If something is green and not smart then it is round. If Charlie is green and Charlie is not nice then Charlie is round.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is smart.
("Gary" "is" "smart" "+")
If something is green and smart then it is nice.
((("something" "is" "green" "+") ("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
All red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
All smart things are green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
All green, rough things are smart.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
If something is nice then it is quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
If Dave is smart and Dave is nice then Dave is not red.
((("Dave" "is" "smart" "+") ("Dave" "is" "nice" "+")) -> ("Dave" "is" "red" "-"))
If something is rough then it is red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If something is green and not smart then it is round.
((("something" "is" "green" "+") ("something" "is" "smart" "~")) -> ("something" "is" "round" "+"))
If Charlie is green and Charlie is not nice then Charlie is round.
((("Charlie" "is" "green" "+") ("Charlie" "is" "nice" "~")) -> ("Charlie" "is" "round" "+"))
Gary is green.
True
1
proof
[(triple7 OR ((triple12) -> rule3) OR ((triple9) -> rule2) OR ((((triple10) -> rule7)) -> rule2))]
("Gary" "is" "green" "+")
triple7
((triple12) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple9) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not nice.
False
1
inv-proof
[(triple8 OR ((triple7 triple12) -> rule1) OR ((triple7 ((triple7 triple10) -> rule4)) -> rule1) OR ((((triple12) -> rule3) triple12) -> rule1) OR ((((triple9) -> rule2) triple12) -> rule1) OR ((((triple12) -> rule3) ((triple7 triple10) -> rule4)) -> rule1) OR ((((triple9) -> rule2) ((triple7 triple10) -> rule4)) -> rule1) OR ((triple7 ((((triple9) -> rule2) triple10) -> rule4)) -> rule1) OR ((((((triple10) -> rule7)) -> rule2) triple12) -> rule1) OR ((((triple12) -> rule3) ((((triple9) -> rule2) triple10) -> rule4)) -> rule1) OR ((((triple9) -> rule2) ((((triple9) -> rule2) triple10) -> rule4)) -> rule1) OR ((((((triple10) -> rule7)) -> rule2) ((triple7 triple10) -> rule4)) -> rule1) OR ((((((triple10) -> rule7)) -> rule2) ((((triple9) -> rule2) triple10) -> rule4)) -> rule1) OR ((triple7 ((((((triple10) -> rule7)) -> rule2) triple10) -> rule4)) -> rule1) OR ((((triple12) -> rule3) ((((((triple10) -> rule7)) -> rule2) triple10) -> rule4)) -> rule1) OR ((((triple9) -> rule2) ((((((triple10) -> rule7)) -> rule2) triple10) -> rule4)) -> rule1) OR ((((((triple10) -> rule7)) -> rule2) ((((((triple10) -> rule7)) -> rule2) triple10) -> rule4)) -> rule1))]
("Gary" "is" "nice" "-")
triple8
((triple7 triple12) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple7 ((triple7 triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple12) -> (rule3 % int2)) triple12) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple9) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple12) -> (rule3 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple9) -> (rule2 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple7 ((((triple9) -> (rule2 % int3)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple10) -> (rule7 % int3))) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple12) -> (rule3 % int3)) ((((triple9) -> (rule2 % int3)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple9) -> (rule2 % int3)) ((((triple9) -> (rule2 % int3)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple9) -> (rule2 % int3)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((triple7 ((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple12) -> (rule3 % int4)) ((((((triple10) -> (rule7 % int3))) -> (rule2 % int4)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple9) -> (rule2 % int4)) ((((((triple10) -> (rule7 % int3))) -> (rule2 % int4)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Dave is nice.
True
3
proof
[(((triple4 triple6) -> rule1) OR ((((triple6) -> rule3) triple6) -> rule1))]
("Dave" "is" "nice" "+")
((triple4 triple6) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple6) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Charlie is not red.
False
2
inv-proof
[(((triple3) -> rule7))]
("Charlie" "is" "red" "-")
((triple3) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
True
3
proof
[(((((triple3) -> rule7)) -> rule2))]
("Charlie" "is" "green" "+")
((((triple3) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Dave is not quiet.
False
4
inv-proof
[(((((triple4 triple6) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) triple6) -> rule1)) -> rule5))]
("Dave" "is" "quiet" "-")
((((triple4 triple6) -> (rule1 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((((triple6) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Bob is smart.
True
5
proof
[(((((((triple2) -> rule7)) -> rule2) triple2) -> rule4))]
("Bob" "is" "smart" "+")
((((((triple2) -> (rule7 % int3))) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not smart.
False
5
inv-proof
[(((((((triple2) -> rule7)) -> rule2) triple2) -> rule4))]
("Bob" "is" "smart" "-")
((((((triple2) -> (rule7 % int3))) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is nice.
True
9
proof
[(((((((triple3) -> rule7)) -> rule2) ((((((triple3) -> rule7)) -> rule2) triple3) -> rule4)) -> rule1))]
("Charlie" "is" "nice" "+")
((((((triple3) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule7 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Bob is not nice.
False
9
inv-proof
[(((((((triple2) -> rule7)) -> rule2) ((((((triple2) -> rule7)) -> rule2) triple2) -> rule4)) -> rule1))]
("Bob" "is" "nice" "-")
((((((triple2) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule7 % int4))) -> (rule2 % int3)) triple2) -> (rule4 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Charlie is quiet.
True
10
proof
[(((((((((triple3) -> rule7)) -> rule2) ((((((triple3) -> rule7)) -> rule2) triple3) -> rule4)) -> rule1)) -> rule5))]
("Charlie" "is" "quiet" "+")
((((((((triple3) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple3) -> (rule7 % int5))) -> (rule2 % int4)) triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is not quiet.
False
10
inv-proof
[(((((((((triple3) -> rule7)) -> rule2) ((((((triple3) -> rule7)) -> rule2) triple3) -> rule4)) -> rule1)) -> rule5))]
("Charlie" "is" "quiet" "-")
((((((((triple3) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple3) -> (rule7 % int5))) -> (rule2 % int4)) triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "round" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Dave" "is" "round" "+")
@0: Bob is quiet.[(triple1 OR ((((((((triple2) -> rule7)) -> rule2) ((((((triple2) -> rule7)) -> rule2) triple2) -> rule4)) -> rule1)) -> rule5))] Bob is rough.[(triple2)] Charlie is rough.[(triple3)] Dave is green.[(triple4 OR ((triple6) -> rule3))] Dave is not rough.[(triple5)] Dave is smart.[(triple6)] Gary is green.[(triple7 OR ((triple12) -> rule3) OR ((triple9) -> rule2) OR ((((triple10) -> rule7)) -> rule2))] Gary is nice.[(triple8 OR ((triple7 triple12) -> rule1) OR ((triple7 ((triple7 triple10) -> rule4)) -> rule1) OR ((((triple12) -> rule3) triple12) -> rule1) OR ((((triple9) -> rule2) triple12) -> rule1) OR ((((triple12) -> rule3) ((triple7 triple10) -> rule4)) -> rule1) OR ((((triple9) -> rule2) ((triple7 triple10) -> rule4)) -> rule1) OR ((triple7 ((((triple9) -> rule2) triple10) -> rule4)) -> rule1) OR ((((((triple10) -> rule7)) -> rule2) triple12) -> rule1) OR ((((triple12) -> rule3) ((((triple9) -> rule2) triple10) -> rule4)) -> rule1) OR ((((triple9) -> rule2) ((((triple9) -> rule2) triple10) -> rule4)) -> rule1) OR ((((((triple10) -> rule7)) -> rule2) ((triple7 triple10) -> rule4)) -> rule1) OR ((((((triple10) -> rule7)) -> rule2) ((((triple9) -> rule2) triple10) -> rule4)) -> rule1) OR ((triple7 ((((((triple10) -> rule7)) -> rule2) triple10) -> rule4)) -> rule1) OR ((((triple12) -> rule3) ((((((triple10) -> rule7)) -> rule2) triple10) -> rule4)) -> rule1) OR ((((triple9) -> rule2) ((((((triple10) -> rule7)) -> rule2) triple10) -> rule4)) -> rule1) OR ((((((triple10) -> rule7)) -> rule2) ((((((triple10) -> rule7)) -> rule2) triple10) -> rule4)) -> rule1))] Gary is not round.[(triple11)] Gary is red.[(triple9 OR ((triple10) -> rule7))] Gary is rough.[(triple10)] Gary is smart.[(triple12 OR ((triple7 triple10) -> rule4) OR ((((triple9) -> rule2) triple10) -> rule4) OR ((((((triple10) -> rule7)) -> rule2) triple10) -> rule4))] @1: Bob is red.[(((triple2) -> rule7))] Charlie is red.[(((triple3) -> rule7))] Dave is nice.[(((triple4 triple6) -> rule1) OR ((((triple6) -> rule3) triple6) -> rule1))] Gary is quiet.[(((triple8) -> rule5) OR ((((triple7 triple12) -> rule1)) -> rule5) OR ((((triple7 ((triple7 triple10) -> rule4)) -> rule1)) -> rule5) OR ((((((triple12) -> rule3) triple12) -> rule1)) -> rule5) OR ((((((triple9) -> rule2) triple12) -> rule1)) -> rule5) OR ((((((triple12) -> rule3) ((triple7 triple10) -> rule4)) -> rule1)) -> rule5) OR ((((((triple9) -> rule2) ((triple7 triple10) -> rule4)) -> rule1)) -> rule5) OR ((((triple7 ((((triple9) -> rule2) triple10) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple10) -> rule7)) -> rule2) triple12) -> rule1)) -> rule5) OR ((((((triple12) -> rule3) ((((triple9) -> rule2) triple10) -> rule4)) -> rule1)) -> rule5) OR ((((((triple9) -> rule2) ((((triple9) -> rule2) triple10) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple10) -> rule7)) -> rule2) ((triple7 triple10) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple10) -> rule7)) -> rule2) ((((triple9) -> rule2) triple10) -> rule4)) -> rule1)) -> rule5) OR ((((triple7 ((((((triple10) -> rule7)) -> rule2) triple10) -> rule4)) -> rule1)) -> rule5) OR ((((((triple12) -> rule3) ((((((triple10) -> rule7)) -> rule2) triple10) -> rule4)) -> rule1)) -> rule5) OR ((((((triple9) -> rule2) ((((((triple10) -> rule7)) -> rule2) triple10) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple10) -> rule7)) -> rule2) ((((((triple10) -> rule7)) -> rule2) triple10) -> rule4)) -> rule1)) -> rule5))] @2: Bob is green.[(((((triple2) -> rule7)) -> rule2))] Charlie is green.[(((((triple3) -> rule7)) -> rule2))] Dave is not red.[(((triple6 ((triple4 triple6) -> rule1)) -> rule6) OR ((triple6 ((((triple6) -> rule3) triple6) -> rule1)) -> rule6))] Dave is quiet.[(((((triple4 triple6) -> rule1)) -> rule5) OR ((((((triple6) -> rule3) triple6) -> rule1)) -> rule5))] @3: Bob is smart.[(((((((triple2) -> rule7)) -> rule2) triple2) -> rule4))] Charlie is smart.[(((((((triple3) -> rule7)) -> rule2) triple3) -> rule4))] @4: Bob is nice.[(((((((triple2) -> rule7)) -> rule2) ((((((triple2) -> rule7)) -> rule2) triple2) -> rule4)) -> rule1))] Charlie is nice.[(((((((triple3) -> rule7)) -> rule2) ((((((triple3) -> rule7)) -> rule2) triple3) -> rule4)) -> rule1))] @5: Charlie is quiet.[(((((((((triple3) -> rule7)) -> rule2) ((((((triple3) -> rule7)) -> rule2) triple3) -> rule4)) -> rule1)) -> rule5))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
((((((((triple2) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule2 % int4)) triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
((triple6) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not rough.
("Dave" "is" "rough" "-")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
((triple12) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple9) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple8
((triple7 triple12) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple7 ((triple7 triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple12) -> (rule3 % int2)) triple12) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple9) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple12) -> (rule3 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple9) -> (rule2 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple7 ((((triple9) -> (rule2 % int3)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple10) -> (rule7 % int3))) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple12) -> (rule3 % int3)) ((((triple9) -> (rule2 % int3)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple9) -> (rule2 % int3)) ((((triple9) -> (rule2 % int3)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((triple7 triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple9) -> (rule2 % int3)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((triple7 ((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple12) -> (rule3 % int4)) ((((((triple10) -> (rule7 % int3))) -> (rule2 % int4)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple9) -> (rule2 % int4)) ((((((triple10) -> (rule7 % int3))) -> (rule2 % int4)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is not round.
("Gary" "is" "round" "-")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple9
((triple10) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple12
((triple7 triple10) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple9) -> (rule2 % int2)) triple10) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple10) -> (rule7 % int3))) -> (rule2 % int2)) triple10) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((triple2) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple3) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple4 triple6) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple6) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple8) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple7 triple12) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple7 ((triple7 triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple12) -> (rule3 % int3)) triple12) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple9) -> (rule2 % int3)) triple12) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple12) -> (rule3 % int4)) ((triple7 triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple9) -> (rule2 % int4)) ((triple7 triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple7 ((((triple9) -> (rule2 % int4)) triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) triple12) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple12) -> (rule3 % int4)) ((((triple9) -> (rule2 % int4)) triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple9) -> (rule2 % int4)) ((((triple9) -> (rule2 % int4)) triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple10) -> (rule7 % int5))) -> (rule2 % int4)) ((triple7 triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple10) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple9) -> (rule2 % int4)) triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple7 ((((((triple10) -> (rule7 % int5))) -> (rule2 % int4)) triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple12) -> (rule3 % int5)) ((((((triple10) -> (rule7 % int4))) -> (rule2 % int5)) triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple9) -> (rule2 % int5)) ((((((triple10) -> (rule7 % int4))) -> (rule2 % int5)) triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple10) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple10) -> (rule7 % int5))) -> (rule2 % int4)) triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
((((triple2) -> (rule7 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((triple3) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Dave is not red.
("Dave" "is" "red" "-")
((triple6 ((triple4 triple6) -> (rule1 % int2))) -> (rule6 % int1))
Dave is not red.
("Dave" "is" "red" "-")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((triple6 ((((triple6) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule6 % int1))
Dave is not red.
("Dave" "is" "red" "-")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple4 triple6) -> (rule1 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((((triple6) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
((((((triple2) -> (rule7 % int3))) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((((((triple3) -> (rule7 % int3))) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple2) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule7 % int4))) -> (rule2 % int3)) triple2) -> (rule4 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((((((triple3) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule7 % int4))) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((((((triple3) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple3) -> (rule7 % int5))) -> (rule2 % int4)) triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5