Anne is big. Anne is furry. Bob is white. Charlie is furry. Charlie is not rough. Gary is big. Gary is rough. If Gary is cold and Gary is big then Gary is smart. All rough people are cold. If someone is big then they are cold. All rough, smart people are white. If Bob is smart and Bob is not big then Bob is cold. All rough, nice people are furry. If someone is white and not cold then they are not nice. All smart, white people are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If Gary is cold and Gary is big then Gary is smart.
((("Gary" "is" "cold" "+") ("Gary" "is" "big" "+")) -> ("Gary" "is" "smart" "+"))
All rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is big then they are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
All rough, smart people are white.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If Bob is smart and Bob is not big then Bob is cold.
((("Bob" "is" "smart" "+") ("Bob" "is" "big" "~")) -> ("Bob" "is" "cold" "+"))
All rough, nice people are furry.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
If someone is white and not cold then they are not nice.
((("someone" "is" "white" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "nice" "-"))
All smart, white people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
Charlie is furry.
True
1
proof
[(triple4)]
("Charlie" "is" "furry" "+")
triple4
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Gary is cold.
True
2
proof
[(((triple6) -> rule3) OR ((triple7) -> rule2))]
("Gary" "is" "cold" "+")
((triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple7) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple6) -> rule3) OR ((triple7) -> rule2))]
("Gary" "is" "cold" "-")
((triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple7) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
True
4
proof
[(((((triple6) -> rule3) triple6) -> rule1) OR ((((triple7) -> rule2) triple6) -> rule1))]
("Gary" "is" "smart" "+")
((((triple6) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple7) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not smart.
False
4
inv-proof
[(((((triple6) -> rule3) triple6) -> rule1) OR ((((triple7) -> rule2) triple6) -> rule1))]
("Gary" "is" "smart" "-")
((((triple6) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple7) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is white.
True
6
proof
[(((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule4) OR ((triple7 ((((triple7) -> rule2) triple6) -> rule1)) -> rule4))]
("Gary" "is" "white" "+")
((triple7 ((((triple6) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple7 ((((triple7) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not white.
False
6
inv-proof
[(((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule4) OR ((triple7 ((((triple7) -> rule2) triple6) -> rule1)) -> rule4))]
("Gary" "is" "white" "-")
((triple7 ((((triple6) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple7 ((((triple7) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is nice.
True
11
proof
[(((((((triple6) -> rule3) triple6) -> rule1) ((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule4)) -> rule8) OR ((((((triple6) -> rule3) triple6) -> rule1) ((triple7 ((((triple7) -> rule2) triple6) -> rule1)) -> rule4)) -> rule8) OR ((((((triple7) -> rule2) triple6) -> rule1) ((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule4)) -> rule8) OR ((((((triple7) -> rule2) triple6) -> rule1) ((triple7 ((((triple7) -> rule2) triple6) -> rule1)) -> rule4)) -> rule8))]
("Gary" "is" "nice" "+")
((((((triple6) -> (rule3 % int4)) triple6) -> (rule1 % int3)) ((triple7 ((((triple6) -> (rule3 % int4)) triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple6) -> (rule3 % int4)) triple6) -> (rule1 % int3)) ((triple7 ((((triple7) -> (rule2 % int4)) triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple7) -> (rule2 % int4)) triple6) -> (rule1 % int3)) ((triple7 ((((triple6) -> (rule3 % int4)) triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple7) -> (rule2 % int4)) triple6) -> (rule1 % int3)) ((triple7 ((((triple7) -> (rule2 % int4)) triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is not nice.
False
11
inv-proof
[(((((((triple6) -> rule3) triple6) -> rule1) ((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule4)) -> rule8) OR ((((((triple6) -> rule3) triple6) -> rule1) ((triple7 ((((triple7) -> rule2) triple6) -> rule1)) -> rule4)) -> rule8) OR ((((((triple7) -> rule2) triple6) -> rule1) ((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule4)) -> rule8) OR ((((((triple7) -> rule2) triple6) -> rule1) ((triple7 ((((triple7) -> rule2) triple6) -> rule1)) -> rule4)) -> rule8))]
("Gary" "is" "nice" "-")
((((((triple6) -> (rule3 % int4)) triple6) -> (rule1 % int3)) ((triple7 ((((triple6) -> (rule3 % int4)) triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple6) -> (rule3 % int4)) triple6) -> (rule1 % int3)) ((triple7 ((((triple7) -> (rule2 % int4)) triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple7) -> (rule2 % int4)) triple6) -> (rule1 % int3)) ((triple7 ((((triple6) -> (rule3 % int4)) triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple7) -> (rule2 % int4)) triple6) -> (rule1 % int3)) ((triple7 ((((triple7) -> (rule2 % int4)) triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is furry.
True
13
proof
[(((triple7 ((((((triple6) -> rule3) triple6) -> rule1) ((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) OR ((triple7 ((((((triple6) -> rule3) triple6) -> rule1) ((triple7 ((((triple7) -> rule2) triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) OR ((triple7 ((((((triple7) -> rule2) triple6) -> rule1) ((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) OR ((triple7 ((((((triple7) -> rule2) triple6) -> rule1) ((triple7 ((((triple7) -> rule2) triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6))]
("Gary" "is" "furry" "+")
((triple7 ((((((triple6) -> (rule3 % int5)) triple6) -> (rule1 % int4)) ((triple7 ((((triple6) -> (rule3 % int5)) triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((triple7 ((((((triple6) -> (rule3 % int5)) triple6) -> (rule1 % int4)) ((triple7 ((((triple7) -> (rule2 % int5)) triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((triple7 ((((((triple7) -> (rule2 % int5)) triple6) -> (rule1 % int4)) ((triple7 ((((triple6) -> (rule3 % int5)) triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((triple7 ((((((triple7) -> (rule2 % int5)) triple6) -> (rule1 % int4)) ((triple7 ((((triple7) -> (rule2 % int5)) triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is not furry.
False
13
inv-proof
[(((triple7 ((((((triple6) -> rule3) triple6) -> rule1) ((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) OR ((triple7 ((((((triple6) -> rule3) triple6) -> rule1) ((triple7 ((((triple7) -> rule2) triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) OR ((triple7 ((((((triple7) -> rule2) triple6) -> rule1) ((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) OR ((triple7 ((((((triple7) -> rule2) triple6) -> rule1) ((triple7 ((((triple7) -> rule2) triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6))]
("Gary" "is" "furry" "-")
((triple7 ((((((triple6) -> (rule3 % int5)) triple6) -> (rule1 % int4)) ((triple7 ((((triple6) -> (rule3 % int5)) triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((triple7 ((((((triple6) -> (rule3 % int5)) triple6) -> (rule1 % int4)) ((triple7 ((((triple7) -> (rule2 % int5)) triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((triple7 ((((((triple7) -> (rule2 % int5)) triple6) -> (rule1 % int4)) ((triple7 ((((triple6) -> (rule3 % int5)) triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((triple7 ((((((triple7) -> (rule2 % int5)) triple6) -> (rule1 % int4)) ((triple7 ((((triple7) -> (rule2 % int5)) triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "white" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "+")
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "nice" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Charlie" "is" "nice" "-")
Anne is nice.
Unknown
rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Anne" "is" "nice" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Bob is white.[(triple3)] Charlie is furry.[(triple4)] Charlie is not rough.[(triple5)] Gary is big.[(triple6)] Gary is rough.[(triple7)] @1: Anne is cold.[(((triple1) -> rule3))] Gary is cold.[(((triple6) -> rule3) OR ((triple7) -> rule2))] @2: Gary is smart.[(((((triple6) -> rule3) triple6) -> rule1) OR ((((triple7) -> rule2) triple6) -> rule1))] @3: Gary is white.[(((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule4) OR ((triple7 ((((triple7) -> rule2) triple6) -> rule1)) -> rule4))] @4: Gary is nice.[(((((((triple6) -> rule3) triple6) -> rule1) ((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule4)) -> rule8) OR ((((((triple6) -> rule3) triple6) -> rule1) ((triple7 ((((triple7) -> rule2) triple6) -> rule1)) -> rule4)) -> rule8) OR ((((((triple7) -> rule2) triple6) -> rule1) ((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule4)) -> rule8) OR ((((((triple7) -> rule2) triple6) -> rule1) ((triple7 ((((triple7) -> rule2) triple6) -> rule1)) -> rule4)) -> rule8))] @5: Gary is furry.[(((triple7 ((((((triple6) -> rule3) triple6) -> rule1) ((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) OR ((triple7 ((((((triple6) -> rule3) triple6) -> rule1) ((triple7 ((((triple7) -> rule2) triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) OR ((triple7 ((((((triple7) -> rule2) triple6) -> rule1) ((triple7 ((((triple6) -> rule3) triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) OR ((triple7 ((((((triple7) -> rule2) triple6) -> rule1) ((triple7 ((((triple7) -> rule2) triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Anne is cold.
("Anne" "is" "cold" "+")
((triple1) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple7) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((((triple6) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple7) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
((triple7 ((((triple6) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple7 ((((triple7) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((((((triple6) -> (rule3 % int4)) triple6) -> (rule1 % int3)) ((triple7 ((((triple6) -> (rule3 % int4)) triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple6) -> (rule3 % int4)) triple6) -> (rule1 % int3)) ((triple7 ((((triple7) -> (rule2 % int4)) triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple7) -> (rule2 % int4)) triple6) -> (rule1 % int3)) ((triple7 ((((triple6) -> (rule3 % int4)) triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple7) -> (rule2 % int4)) triple6) -> (rule1 % int3)) ((triple7 ((((triple7) -> (rule2 % int4)) triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
((triple7 ((((((triple6) -> (rule3 % int5)) triple6) -> (rule1 % int4)) ((triple7 ((((triple6) -> (rule3 % int5)) triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((triple7 ((((((triple6) -> (rule3 % int5)) triple6) -> (rule1 % int4)) ((triple7 ((((triple7) -> (rule2 % int5)) triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((triple7 ((((((triple7) -> (rule2 % int5)) triple6) -> (rule1 % int4)) ((triple7 ((((triple6) -> (rule3 % int5)) triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((triple7 ((((((triple7) -> (rule2 % int5)) triple6) -> (rule1 % int4)) ((triple7 ((((triple7) -> (rule2 % int5)) triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5