Bob is cold. Bob is furry. Dave is furry. Dave is white. Gary is furry. Gary is green. Gary is nice. Harry is blue. Harry is cold. Harry is furry. Harry is white. Harry is young. All furry, nice things are blue. If something is white then it is nice. If Bob is blue and Bob is white then Bob is furry. If something is furry then it is green. If Harry is green then Harry is furry. All furry, young things are white. Young, nice things are green. All nice, green things are white. All green things are young.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All furry, nice things are blue.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If something is white then it is nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
If Bob is blue and Bob is white then Bob is furry.
((("Bob" "is" "blue" "+") ("Bob" "is" "white" "+")) -> ("Bob" "is" "furry" "+"))
If something is furry then it is green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
If Harry is green then Harry is furry.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "furry" "+"))
All furry, young things are white.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Young, nice things are green.
((("something" "is" "young" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
All nice, green things are white.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
All green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Harry is blue.
True
1
proof
[(triple8 OR ((triple10 ((triple11) -> rule2)) -> rule1) OR ((triple10 ((((triple10 triple12) -> rule6)) -> rule2)) -> rule1) OR ((((((triple12 ((triple11) -> rule2)) -> rule7)) -> rule5) ((triple11) -> rule2)) -> rule1) OR ((((((triple12 ((triple11) -> rule2)) -> rule7)) -> rule5) ((((triple10 triple12) -> rule6)) -> rule2)) -> rule1) OR ((triple10 ((((triple10 ((((triple10) -> rule4)) -> rule9)) -> rule6)) -> rule2)) -> rule1) OR ((((((triple12 ((triple11) -> rule2)) -> rule7)) -> rule5) ((((triple10 ((((triple10) -> rule4)) -> rule9)) -> rule6)) -> rule2)) -> rule1))]
("Harry" "is" "blue" "+")
triple8
((triple10 ((triple11) -> (rule2 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple10 ((((triple10 triple12) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple12 ((triple11) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((triple11) -> (rule2 % int4))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple12 ((triple11) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple10 triple12) -> (rule6 % int2))) -> (rule2 % int5))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple10 ((((triple10 ((((triple10) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple12 ((triple11) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule5 % int4)) ((((triple10 ((((triple10) -> (rule4 % int5))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int6))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
Harry is not white.
False
1
inv-proof
[(triple11 OR ((triple10 triple12) -> rule6) OR ((triple10 ((((triple10) -> rule4)) -> rule9)) -> rule6))]
("Harry" "is" "white" "-")
triple11
((triple10 triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple10 ((((triple10) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Dave is nice.
True
2
proof
[(((triple4) -> rule2) OR ((((triple3 ((((triple3) -> rule4)) -> rule9)) -> rule6)) -> rule2))]
("Dave" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple3 ((((triple3) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Harry is not nice.
False
2
inv-proof
[(((triple11) -> rule2) OR ((((triple10 triple12) -> rule6)) -> rule2) OR ((((triple10 ((((triple10) -> rule4)) -> rule9)) -> rule6)) -> rule2))]
("Harry" "is" "nice" "-")
((triple11) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple10 triple12) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple10 ((((triple10) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Dave is young.
True
3
proof
[(((((triple3) -> rule4)) -> rule9))]
("Dave" "is" "young" "+")
((((triple3) -> (rule4 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not young.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule9))]
("Dave" "is" "young" "-")
((((triple3) -> (rule4 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Bob is white.
True
5
proof
[(((triple2 ((((triple2) -> rule4)) -> rule9)) -> rule6))]
("Bob" "is" "white" "+")
((triple2 ((((triple2) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not white.
False
5
inv-proof
[(((triple2 ((((triple2) -> rule4)) -> rule9)) -> rule6))]
("Bob" "is" "white" "-")
((triple2 ((((triple2) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is nice.
True
6
proof
[(((((triple2 ((((triple2) -> rule4)) -> rule9)) -> rule6)) -> rule2))]
("Bob" "is" "nice" "+")
((((triple2 ((((triple2) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is not nice.
False
6
inv-proof
[(((((triple2 ((((triple2) -> rule4)) -> rule9)) -> rule6)) -> rule2))]
("Bob" "is" "nice" "-")
((((triple2 ((((triple2) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is blue.
True
8
proof
[(((triple2 ((((triple2 ((((triple2) -> rule4)) -> rule9)) -> rule6)) -> rule2)) -> rule1))]
("Bob" "is" "blue" "+")
((triple2 ((((triple2 ((((triple2) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is not blue.
False
8
inv-proof
[(((triple2 ((((triple2 ((((triple2) -> rule4)) -> rule9)) -> rule6)) -> rule2)) -> rule1))]
("Bob" "is" "blue" "-")
((triple2 ((((triple2 ((((triple2) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Dave is furry.[(triple3)] Dave is white.[(triple4 OR ((triple3 ((((triple3) -> rule4)) -> rule9)) -> rule6))] Gary is furry.[(triple5)] Gary is green.[(triple6 OR ((triple5) -> rule4))] Gary is nice.[(triple7 OR ((((triple5 ((triple6) -> rule9)) -> rule6)) -> rule2) OR ((((triple5 ((((triple5) -> rule4)) -> rule9)) -> rule6)) -> rule2))] Harry is blue.[(triple8 OR ((triple10 ((triple11) -> rule2)) -> rule1) OR ((triple10 ((((triple10 triple12) -> rule6)) -> rule2)) -> rule1) OR ((((((triple12 ((triple11) -> rule2)) -> rule7)) -> rule5) ((triple11) -> rule2)) -> rule1) OR ((((((triple12 ((triple11) -> rule2)) -> rule7)) -> rule5) ((((triple10 triple12) -> rule6)) -> rule2)) -> rule1) OR ((triple10 ((((triple10 ((((triple10) -> rule4)) -> rule9)) -> rule6)) -> rule2)) -> rule1) OR ((((((triple12 ((triple11) -> rule2)) -> rule7)) -> rule5) ((((triple10 ((((triple10) -> rule4)) -> rule9)) -> rule6)) -> rule2)) -> rule1))] Harry is cold.[(triple9)] Harry is furry.[(triple10 OR ((((triple12 ((triple11) -> rule2)) -> rule7)) -> rule5))] Harry is white.[(triple11 OR ((triple10 triple12) -> rule6) OR ((triple10 ((((triple10) -> rule4)) -> rule9)) -> rule6))] Harry is young.[(triple12 OR ((((triple10) -> rule4)) -> rule9))] @1: Bob is green.[(((triple2) -> rule4))] Dave is green.[(((triple3) -> rule4))] Dave is nice.[(((triple4) -> rule2) OR ((((triple3 ((((triple3) -> rule4)) -> rule9)) -> rule6)) -> rule2))] Gary is blue.[(((triple5 triple7) -> rule1) OR ((triple5 ((((triple5 ((triple6) -> rule9)) -> rule6)) -> rule2)) -> rule1) OR ((triple5 ((((triple5 ((((triple5) -> rule4)) -> rule9)) -> rule6)) -> rule2)) -> rule1))] Gary is white.[(((triple7 triple6) -> rule8) OR ((triple5 ((triple6) -> rule9)) -> rule6) OR ((triple7 ((triple5) -> rule4)) -> rule8) OR ((triple5 ((((triple5) -> rule4)) -> rule9)) -> rule6))] Gary is young.[(((triple6) -> rule9) OR ((((triple5) -> rule4)) -> rule9))] Harry is green.[(((triple10) -> rule4) OR ((triple12 ((triple11) -> rule2)) -> rule7) OR ((triple12 ((((triple10 triple12) -> rule6)) -> rule2)) -> rule7))] Harry is nice.[(((triple11) -> rule2) OR ((((triple10 triple12) -> rule6)) -> rule2) OR ((((triple10 ((((triple10) -> rule4)) -> rule9)) -> rule6)) -> rule2))] @2: Bob is young.[(((((triple2) -> rule4)) -> rule9))] Dave is blue.[(((triple3 ((triple4) -> rule2)) -> rule1) OR ((triple3 ((((triple3 ((((triple3) -> rule4)) -> rule9)) -> rule6)) -> rule2)) -> rule1))] Dave is young.[(((((triple3) -> rule4)) -> rule9))] @3: Bob is white.[(((triple2 ((((triple2) -> rule4)) -> rule9)) -> rule6))] @4: Bob is nice.[(((((triple2 ((((triple2) -> rule4)) -> rule9)) -> rule6)) -> rule2))] @5: Bob is blue.[(((triple2 ((((triple2 ((((triple2) -> rule4)) -> rule9)) -> rule6)) -> rule2)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
((triple3 ((((triple3) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
((triple5) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple7
((((triple5 ((triple6) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple5 ((((triple5) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
triple8
((triple10 ((triple11) -> (rule2 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple10 ((((triple10 triple12) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple12 ((triple11) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((triple11) -> (rule2 % int4))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple12 ((triple11) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((triple10 triple12) -> (rule6 % int2))) -> (rule2 % int5))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple10 ((((triple10 ((((triple10) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple12 ((triple11) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule5 % int4)) ((((triple10 ((((triple10) -> (rule4 % int5))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int6))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple10
((((triple12 ((triple11) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
triple11
((triple10 triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple10 ((((triple10) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
triple12
((((triple10) -> (rule4 % int2))) -> (rule9 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple3) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple3 ((((triple3) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
((triple5 triple7) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple5 ((((triple5 ((triple6) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((triple5 ((((triple5 ((((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
((triple7 triple6) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple5 ((triple6) -> (rule9 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((triple7 ((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((triple5 ((((triple5) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((triple6) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((triple10) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple12 ((triple11) -> (rule2 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple12 ((((triple10 triple12) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((triple11) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple10 triple12) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple10 ((((triple10) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((((triple2) -> (rule4 % int2))) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((triple3 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((triple3 ((((triple3 ((((triple3) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
((((triple3) -> (rule4 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((triple2 ((((triple2) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((triple2 ((((triple2) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 ((((triple2 ((((triple2) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5