Bob is furry. Bob is green. Bob is red. Bob is rough. Erin is green. Erin is red. Gary is furry. Gary is kind. Harry is blue. Harry is furry. Harry is rough. Rough people are smart. Smart, furry people are rough. Blue people are red. If someone is rough then they are blue. Green people are blue. Furry people are smart. If someone is kind then they are furry. If Erin is blue then Erin is green. Red, blue people are green.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Rough people are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Smart, furry people are rough.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If someone is kind then they are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If Erin is blue then Erin is green.
((("Erin" "is" "blue" "+")) -> ("Erin" "is" "green" "+"))
Red, blue people are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Bob is furry.
True
1
proof
[(triple1)]
("Bob" "is" "furry" "+")
triple1
Harry is not furry.
False
1
inv-proof
[(triple10)]
("Harry" "is" "furry" "-")
triple10
Bob is blue.
True
2
proof
[(((triple2) -> rule5) OR ((triple4) -> rule4) OR ((((((triple1) -> rule6) triple1) -> rule2)) -> rule4))]
("Bob" "is" "blue" "+")
((triple2) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((((triple1) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is not smart.
False
2
inv-proof
[(((triple1) -> rule6) OR ((triple4) -> rule1))]
("Bob" "is" "smart" "-")
((triple1) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Harry is green.
True
4
proof
[(((((triple9) -> rule3) triple9) -> rule9) OR ((((triple9) -> rule3) ((triple11) -> rule4)) -> rule9) OR ((((((triple11) -> rule4)) -> rule3) triple9) -> rule9) OR ((((((triple11) -> rule4)) -> rule3) ((triple11) -> rule4)) -> rule9) OR ((((triple9) -> rule3) ((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule9) OR ((((((triple11) -> rule4)) -> rule3) ((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule3) triple9) -> rule9) OR ((((((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule3) ((triple11) -> rule4)) -> rule9) OR ((((((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule3) ((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule9))]
("Harry" "is" "green" "+")
((((triple9) -> (rule3 % int2)) triple9) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple9) -> (rule3 % int3)) ((triple11) -> (rule4 % int2))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple11) -> (rule4 % int3))) -> (rule3 % int2)) triple9) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple11) -> (rule4 % int3))) -> (rule3 % int2)) ((triple11) -> (rule4 % int3))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple9) -> (rule3 % int5)) ((((((triple10) -> (rule6 % int4)) triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple11) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int5))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((((triple10) -> (rule6 % int5)) triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple9) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((((triple10) -> (rule6 % int5)) triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple11) -> (rule4 % int3))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((((triple10) -> (rule6 % int5)) triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple10) -> (rule6 % int5)) triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is not green.
False
4
inv-proof
[(((((triple9) -> rule3) triple9) -> rule9) OR ((((triple9) -> rule3) ((triple11) -> rule4)) -> rule9) OR ((((((triple11) -> rule4)) -> rule3) triple9) -> rule9) OR ((((((triple11) -> rule4)) -> rule3) ((triple11) -> rule4)) -> rule9) OR ((((triple9) -> rule3) ((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule9) OR ((((((triple11) -> rule4)) -> rule3) ((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule3) triple9) -> rule9) OR ((((((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule3) ((triple11) -> rule4)) -> rule9) OR ((((((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule3) ((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule9))]
("Harry" "is" "green" "-")
((((triple9) -> (rule3 % int2)) triple9) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple9) -> (rule3 % int3)) ((triple11) -> (rule4 % int2))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple11) -> (rule4 % int3))) -> (rule3 % int2)) triple9) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple11) -> (rule4 % int3))) -> (rule3 % int2)) ((triple11) -> (rule4 % int3))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple9) -> (rule3 % int5)) ((((((triple10) -> (rule6 % int4)) triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple11) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int5))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((((triple10) -> (rule6 % int5)) triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple9) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((((triple10) -> (rule6 % int5)) triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple11) -> (rule4 % int3))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((((triple10) -> (rule6 % int5)) triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple10) -> (rule6 % int5)) triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Gary is blue.
True
5
proof
[(((((((triple7) -> rule6) triple7) -> rule2)) -> rule4) OR ((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4) OR ((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4) OR ((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4))]
("Gary" "is" "blue" "+")
((((((triple7) -> (rule6 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple7) -> (rule6 % int4)) ((triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((triple8) -> (rule7 % int4))) -> (rule6 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((triple8) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is not blue.
False
5
inv-proof
[(((((((triple7) -> rule6) triple7) -> rule2)) -> rule4) OR ((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4) OR ((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4) OR ((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4))]
("Gary" "is" "blue" "-")
((((((triple7) -> (rule6 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple7) -> (rule6 % int4)) ((triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((triple8) -> (rule7 % int4))) -> (rule6 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((triple8) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is red.
True
6
proof
[(((((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3))]
("Gary" "is" "red" "+")
((((((((triple7) -> (rule6 % int4)) triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((triple7) -> (rule6 % int5)) ((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((((((triple8) -> (rule7 % int5))) -> (rule6 % int4)) triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((((triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple8) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is not red.
False
6
inv-proof
[(((((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3))]
("Gary" "is" "red" "-")
((((((((triple7) -> (rule6 % int4)) triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((triple7) -> (rule6 % int5)) ((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((((((triple8) -> (rule7 % int5))) -> (rule6 % int4)) triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((((triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple8) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is green.
True
12
proof
[(((((((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9))]
("Gary" "is" "green" "+")
((((((((((triple7) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((((((triple7) -> (rule6 % int6)) triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int2))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((((triple8) -> (rule7 % int2))) -> (rule6 % int6)) triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int6)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((((triple8) -> (rule7 % int2))) -> (rule6 % int6)) ((triple8) -> (rule7 % int2))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int5))) -> (rule6 % int6)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int5))) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
Gary is not green.
False
12
inv-proof
[(((((((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9))]
("Gary" "is" "green" "-")
((((((((((triple7) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((((((triple7) -> (rule6 % int6)) triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int2))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((((triple8) -> (rule7 % int2))) -> (rule6 % int6)) triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int6)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((((triple8) -> (rule7 % int2))) -> (rule6 % int6)) ((triple8) -> (rule7 % int2))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int5))) -> (rule6 % int6)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int5))) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
Erin is not smart.
Unknown
inv-rconc
[@3: Erin is smart.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule7 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "furry" "+")
Erin is not rough.
Unknown
inv-rconc
[@2: Erin is rough.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple3 ((triple4) -> rule4)) -> rule9) OR ((((((triple4) -> rule4)) -> rule3) ((triple4) -> rule4)) -> rule9) OR ((triple3 ((((((triple1) -> rule6) triple1) -> rule2)) -> rule4)) -> rule9) OR ((((((triple4) -> rule4)) -> rule3) ((((((triple1) -> rule6) triple1) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple1) -> rule6) triple1) -> rule2)) -> rule4)) -> rule3) ((triple4) -> rule4)) -> rule9) OR ((((((((((triple1) -> rule6) triple1) -> rule2)) -> rule4)) -> rule3) ((((((triple1) -> rule6) triple1) -> rule2)) -> rule4)) -> rule9))] Bob is red.[(triple3 OR ((((triple2) -> rule5)) -> rule3) OR ((((triple4) -> rule4)) -> rule3) OR ((((((((triple1) -> rule6) triple1) -> rule2)) -> rule4)) -> rule3))] Bob is rough.[(triple4 OR ((((triple1) -> rule6) triple1) -> rule2))] Erin is green.[(triple5)] Erin is red.[(triple6 OR ((((triple5) -> rule5)) -> rule3))] Gary is furry.[(triple7 OR ((triple8) -> rule7))] Gary is kind.[(triple8)] Harry is blue.[(triple9 OR ((triple11) -> rule4) OR ((((((triple10) -> rule6) triple10) -> rule2)) -> rule4))] Harry is furry.[(triple10)] Harry is rough.[(triple11 OR ((((triple10) -> rule6) triple10) -> rule2))] @1: Bob is blue.[(((triple2) -> rule5) OR ((triple4) -> rule4) OR ((((((triple1) -> rule6) triple1) -> rule2)) -> rule4))] Bob is smart.[(((triple1) -> rule6) OR ((triple4) -> rule1))] Erin is blue.[(((triple5) -> rule5))] Gary is smart.[(((triple7) -> rule6) OR ((((triple8) -> rule7)) -> rule6))] Harry is red.[(((triple9) -> rule3) OR ((((triple11) -> rule4)) -> rule3) OR ((((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule3))] Harry is smart.[(((triple10) -> rule6) OR ((triple11) -> rule1))] @2: Gary is rough.[(((((triple7) -> rule6) triple7) -> rule2) OR ((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2) OR ((((((triple8) -> rule7)) -> rule6) triple7) -> rule2) OR ((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2))] Harry is green.[(((((triple9) -> rule3) triple9) -> rule9) OR ((((triple9) -> rule3) ((triple11) -> rule4)) -> rule9) OR ((((((triple11) -> rule4)) -> rule3) triple9) -> rule9) OR ((((((triple11) -> rule4)) -> rule3) ((triple11) -> rule4)) -> rule9) OR ((((triple9) -> rule3) ((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule9) OR ((((((triple11) -> rule4)) -> rule3) ((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule3) triple9) -> rule9) OR ((((((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule3) ((triple11) -> rule4)) -> rule9) OR ((((((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule3) ((((((triple10) -> rule6) triple10) -> rule2)) -> rule4)) -> rule9))] @3: Gary is blue.[(((((((triple7) -> rule6) triple7) -> rule2)) -> rule4) OR ((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4) OR ((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4) OR ((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4))] @4: Gary is red.[(((((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3))] @5: Gary is green.[(((((((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((triple7) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule3) ((((((((triple8) -> rule7)) -> rule6) ((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule9))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple3 ((triple4) -> (rule4 % int2))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple3 ((((((triple1) -> (rule6 % int4)) triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple4) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple1) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule4 % int5))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((((((triple1) -> (rule6 % int5)) triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((((triple1) -> (rule6 % int5)) triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple1) -> (rule6 % int5)) triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
triple3
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((((((triple1) -> (rule6 % int4)) triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((((triple1) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
triple7
((triple8) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple9
((triple11) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((((triple10) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
((((triple10) -> (rule6 % int2)) triple10) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple2) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((((triple1) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple5) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple7) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple8) -> (rule7 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple9) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((((((triple10) -> (rule6 % int4)) triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
((triple10) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple11) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((((triple7) -> (rule6 % int2)) triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple7) -> (rule6 % int3)) ((triple8) -> (rule7 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple8) -> (rule7 % int3))) -> (rule6 % int2)) ((triple8) -> (rule7 % int3))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((((triple9) -> (rule3 % int2)) triple9) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple9) -> (rule3 % int3)) ((triple11) -> (rule4 % int2))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple11) -> (rule4 % int3))) -> (rule3 % int2)) triple9) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple11) -> (rule4 % int3))) -> (rule3 % int2)) ((triple11) -> (rule4 % int3))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple9) -> (rule3 % int5)) ((((((triple10) -> (rule6 % int4)) triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple11) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int5))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((((triple10) -> (rule6 % int5)) triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple9) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((((triple10) -> (rule6 % int5)) triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple11) -> (rule4 % int3))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((((triple10) -> (rule6 % int5)) triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple10) -> (rule6 % int5)) triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
((((((triple7) -> (rule6 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple7) -> (rule6 % int4)) ((triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((triple8) -> (rule7 % int4))) -> (rule6 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((triple8) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
((((((((triple7) -> (rule6 % int4)) triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((triple7) -> (rule6 % int5)) ((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((((((triple8) -> (rule7 % int5))) -> (rule6 % int4)) triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((((triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple8) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
((((((((((triple7) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((((((triple7) -> (rule6 % int6)) triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int2))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((((triple8) -> (rule7 % int2))) -> (rule6 % int6)) triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int6)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) triple7) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((((((((triple8) -> (rule7 % int2))) -> (rule6 % int6)) ((triple8) -> (rule7 % int2))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int5))) -> (rule6 % int6)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((triple7) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int5))) -> (rule6 % int6)) ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((triple7) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) triple7) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((((((((triple8) -> (rule7 % int6))) -> (rule6 % int5)) ((triple8) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6