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