Bob is big. Bob is not nice. Bob is white. Charlie is cold. Charlie is rough. Charlie is white. Erin is not big. Erin is white. Gary is cold. Gary is round. All furry, white things are big. Cold, white things are furry. If something is white and big then it is not nice. Round things are rough. If something is cold and rough then it is white.
Bob is big.
("Bob" "is" "big" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is white.
("Bob" "is" "white" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is white.
("Erin" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
All furry, white things are big.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
Cold, white things are furry.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If something is white and big then it is not nice.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "-"))
Round things are rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is cold and rough then it is white.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Bob is not nice.
True
1
proof
[(triple2 OR ((triple3 triple1) -> rule3))]
("Bob" "is" "nice" "-")
triple2
((triple3 triple1) -> (rule3 % int1))
Bob is not nice.
("Bob" "is" "nice" "-")
int1
Erin is not white.
False
1
inv-proof
[(triple8)]
("Erin" "is" "white" "-")
triple8
Gary is rough.
True
2
proof
[(((triple10) -> rule4))]
("Gary" "is" "rough" "+")
((triple10) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple10) -> rule4))]
("Gary" "is" "rough" "-")
((triple10) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Charlie is big.
True
5
proof
[(((((triple4 triple6) -> rule2) triple6) -> rule1) OR ((((triple4 triple6) -> rule2) ((triple4 triple5) -> rule5)) -> rule1) OR ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) triple6) -> rule1) OR ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) ((triple4 triple5) -> rule5)) -> rule1))]
("Charlie" "is" "big" "+")
((((triple4 triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple4 triple6) -> (rule2 % int3)) ((triple4 triple5) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple4 ((triple4 triple5) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((triple4 ((triple4 triple5) -> (rule5 % int3))) -> (rule2 % int2)) ((triple4 triple5) -> (rule5 % int3))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is not big.
False
5
inv-proof
[(((((triple4 triple6) -> rule2) triple6) -> rule1) OR ((((triple4 triple6) -> rule2) ((triple4 triple5) -> rule5)) -> rule1) OR ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) triple6) -> rule1) OR ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) ((triple4 triple5) -> rule5)) -> rule1))]
("Charlie" "is" "big" "-")
((((triple4 triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple4 triple6) -> (rule2 % int3)) ((triple4 triple5) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple4 ((triple4 triple5) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((triple4 ((triple4 triple5) -> (rule5 % int3))) -> (rule2 % int2)) ((triple4 triple5) -> (rule5 % int3))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is not nice.
True
7
proof
[(((triple6 ((((triple4 triple6) -> rule2) triple6) -> rule1)) -> rule3) OR ((triple6 ((((triple4 triple6) -> rule2) ((triple4 triple5) -> rule5)) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule5) ((((triple4 triple6) -> rule2) triple6) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule5) ((((triple4 triple6) -> rule2) ((triple4 triple5) -> rule5)) -> rule1)) -> rule3) OR ((triple6 ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) triple6) -> rule1)) -> rule3) OR ((triple6 ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) ((triple4 triple5) -> rule5)) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule5) ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) triple6) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule5) ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) ((triple4 triple5) -> rule5)) -> rule1)) -> rule3))]
("Charlie" "is" "nice" "-")
((triple6 ((((triple4 triple6) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple6 ((((triple4 triple6) -> (rule2 % int4)) ((triple4 triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple4 triple5) -> (rule5 % int4)) ((((triple4 triple6) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple4 triple5) -> (rule5 % int4)) ((((triple4 triple6) -> (rule2 % int3)) ((triple4 triple5) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple6 ((((triple4 ((triple4 triple5) -> (rule5 % int4))) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple6 ((((triple4 ((triple4 triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple4 triple5) -> (rule5 % int4)) ((((triple4 ((triple4 triple5) -> (rule5 % int4))) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple4 triple5) -> (rule5 % int4)) ((((triple4 ((triple4 triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is nice.
False
7
inv-proof
[(((triple6 ((((triple4 triple6) -> rule2) triple6) -> rule1)) -> rule3) OR ((triple6 ((((triple4 triple6) -> rule2) ((triple4 triple5) -> rule5)) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule5) ((((triple4 triple6) -> rule2) triple6) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule5) ((((triple4 triple6) -> rule2) ((triple4 triple5) -> rule5)) -> rule1)) -> rule3) OR ((triple6 ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) triple6) -> rule1)) -> rule3) OR ((triple6 ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) ((triple4 triple5) -> rule5)) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule5) ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) triple6) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule5) ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) ((triple4 triple5) -> rule5)) -> rule1)) -> rule3))]
("Charlie" "is" "nice" "+")
((triple6 ((((triple4 triple6) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple6 ((((triple4 triple6) -> (rule2 % int4)) ((triple4 triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple4 triple5) -> (rule5 % int4)) ((((triple4 triple6) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple4 triple5) -> (rule5 % int4)) ((((triple4 triple6) -> (rule2 % int3)) ((triple4 triple5) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple6 ((((triple4 ((triple4 triple5) -> (rule5 % int4))) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple6 ((((triple4 ((triple4 triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple4 triple5) -> (rule5 % int4)) ((((triple4 ((triple4 triple5) -> (rule5 % int4))) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple4 triple5) -> (rule5 % int4)) ((((triple4 ((triple4 triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Gary is big.
True
11
proof
[(((((triple9 ((triple9 ((triple10) -> rule4)) -> rule5)) -> rule2) ((triple9 ((triple10) -> rule4)) -> rule5)) -> rule1))]
("Gary" "is" "big" "+")
((((triple9 ((triple9 ((triple10) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple9 ((triple10) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is not big.
False
11
inv-proof
[(((((triple9 ((triple9 ((triple10) -> rule4)) -> rule5)) -> rule2) ((triple9 ((triple10) -> rule4)) -> rule5)) -> rule1))]
("Gary" "is" "big" "-")
((((triple9 ((triple9 ((triple10) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple9 ((triple10) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is not nice.
True
16
proof
[(((((triple9 ((triple10) -> rule4)) -> rule5) ((((triple9 ((triple9 ((triple10) -> rule4)) -> rule5)) -> rule2) ((triple9 ((triple10) -> rule4)) -> rule5)) -> rule1)) -> rule3))]
("Gary" "is" "nice" "-")
((((triple9 ((triple10) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple9 ((triple9 ((triple10) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple9 ((triple10) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is nice.
False
16
inv-proof
[(((((triple9 ((triple10) -> rule4)) -> rule5) ((((triple9 ((triple9 ((triple10) -> rule4)) -> rule5)) -> rule2) ((triple9 ((triple10) -> rule4)) -> rule5)) -> rule1)) -> rule3))]
("Gary" "is" "nice" "+")
((((triple9 ((triple10) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple9 ((triple9 ((triple10) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple9 ((triple10) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "rough" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "furry" "+")
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "rough" "-")
Bob is furry.
Unknown
rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "furry" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Bob is big.[(triple1)] Bob is not nice.[(triple2 OR ((triple3 triple1) -> rule3))] Bob is white.[(triple3)] Charlie is cold.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6 OR ((triple4 triple5) -> rule5))] Erin is not big.[(triple7)] Erin is white.[(triple8)] Gary is cold.[(triple9)] Gary is round.[(triple10)] @1: Charlie is furry.[(((triple4 triple6) -> rule2) OR ((triple4 ((triple4 triple5) -> rule5)) -> rule2))] Gary is rough.[(((triple10) -> rule4))] @2: Charlie is big.[(((((triple4 triple6) -> rule2) triple6) -> rule1) OR ((((triple4 triple6) -> rule2) ((triple4 triple5) -> rule5)) -> rule1) OR ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) triple6) -> rule1) OR ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) ((triple4 triple5) -> rule5)) -> rule1))] Gary is white.[(((triple9 ((triple10) -> rule4)) -> rule5))] @3: Charlie is not nice.[(((triple6 ((((triple4 triple6) -> rule2) triple6) -> rule1)) -> rule3) OR ((triple6 ((((triple4 triple6) -> rule2) ((triple4 triple5) -> rule5)) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule5) ((((triple4 triple6) -> rule2) triple6) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule5) ((((triple4 triple6) -> rule2) ((triple4 triple5) -> rule5)) -> rule1)) -> rule3) OR ((triple6 ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) triple6) -> rule1)) -> rule3) OR ((triple6 ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) ((triple4 triple5) -> rule5)) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule5) ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) triple6) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule5) ((((triple4 ((triple4 triple5) -> rule5)) -> rule2) ((triple4 triple5) -> rule5)) -> rule1)) -> rule3))] Gary is furry.[(((triple9 ((triple9 ((triple10) -> rule4)) -> rule5)) -> rule2))] @4: Gary is big.[(((((triple9 ((triple9 ((triple10) -> rule4)) -> rule5)) -> rule2) ((triple9 ((triple10) -> rule4)) -> rule5)) -> rule1))] @5: Gary is not nice.[(((((triple9 ((triple10) -> rule4)) -> rule5) ((((triple9 ((triple9 ((triple10) -> rule4)) -> rule5)) -> rule2) ((triple9 ((triple10) -> rule4)) -> rule5)) -> rule1)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is not nice.
("Bob" "is" "nice" "-")
triple2
((triple3 triple1) -> (rule3 % int1))
Bob is not nice.
("Bob" "is" "nice" "-")
int1
Bob is white.
("Bob" "is" "white" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
((triple4 triple5) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is not big.
("Erin" "is" "big" "-")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple4 triple6) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple4 ((triple4 triple5) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple10) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((((triple4 triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple4 triple6) -> (rule2 % int3)) ((triple4 triple5) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple4 ((triple4 triple5) -> (rule5 % int3))) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((triple4 ((triple4 triple5) -> (rule5 % int3))) -> (rule2 % int2)) ((triple4 triple5) -> (rule5 % int3))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
((triple9 ((triple10) -> (rule4 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Charlie is not nice.
("Charlie" "is" "nice" "-")
((triple6 ((((triple4 triple6) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple6 ((((triple4 triple6) -> (rule2 % int4)) ((triple4 triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple4 triple5) -> (rule5 % int4)) ((((triple4 triple6) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple4 triple5) -> (rule5 % int4)) ((((triple4 triple6) -> (rule2 % int3)) ((triple4 triple5) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple6 ((((triple4 ((triple4 triple5) -> (rule5 % int4))) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple6 ((((triple4 ((triple4 triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple4 triple5) -> (rule5 % int4)) ((((triple4 ((triple4 triple5) -> (rule5 % int4))) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple4 triple5) -> (rule5 % int4)) ((((triple4 ((triple4 triple5) -> (rule5 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
((triple9 ((triple9 ((triple10) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
((((triple9 ((triple9 ((triple10) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple9 ((triple10) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is not nice.
("Gary" "is" "nice" "-")
((((triple9 ((triple10) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple9 ((triple9 ((triple10) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple9 ((triple10) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5