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