Even though he's a big dude, Alan is cold. Bob is red, cold in temperature and round shaped. Bob is also very  big. In the snow sits Dave, crying from being cold. Green and blue people have a habit of being cold, which makes them red too. Nice people that are blue because they are cold turn green with envy. A kind and big person is young. I've been told that big, nice people are very rough. Anyone that's rough and cold is also going to be blue. If you're cold and red then you're nice. Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
If someone is green and blue and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is big and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is big and nice then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and red then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and nice and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Alan is cold.
True
1
proof
[(triple1)]
("Alan" "is" "cold" "+")
triple1
Bob is not big.
False
1
inv-proof
[(triple6)]
("Bob" "is" "big" "-")
triple6
Bob is nice.
True
3
proof
[(((triple5 triple4) -> rule6))]
("Bob" "is" "nice" "+")
((triple5 triple4) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple5 triple4) -> rule6))]
("Bob" "is" "nice" "-")
((triple5 triple4) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
True
5
proof
[(((triple6 ((triple5 triple4) -> rule6)) -> rule4))]
("Bob" "is" "rough" "+")
((triple6 ((triple5 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not rough.
False
5
inv-proof
[(((triple6 ((triple5 triple4) -> rule6)) -> rule4))]
("Bob" "is" "rough" "-")
((triple6 ((triple5 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
True
7
proof
[(((triple5 ((triple6 ((triple5 triple4) -> rule6)) -> rule4)) -> rule5))]
("Bob" "is" "blue" "+")
((triple5 ((triple6 ((triple5 triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not blue.
False
7
inv-proof
[(((triple5 ((triple6 ((triple5 triple4) -> rule6)) -> rule4)) -> rule5))]
("Bob" "is" "blue" "-")
((triple5 ((triple6 ((triple5 triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is green.
True
12
proof
[(((((triple5 ((triple6 ((triple5 triple4) -> rule6)) -> rule4)) -> rule5) ((triple5 triple4) -> rule6) triple5) -> rule2))]
("Bob" "is" "green" "+")
((((triple5 ((triple6 ((triple5 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((triple5 triple4) -> (rule6 % int4)) triple5) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is not green.
False
12
inv-proof
[(((((triple5 ((triple6 ((triple5 triple4) -> rule6)) -> rule4)) -> rule5) ((triple5 triple4) -> rule6) triple5) -> rule2))]
("Bob" "is" "green" "-")
((((triple5 ((triple6 ((triple5 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((triple5 triple4) -> (rule6 % int4)) triple5) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Dave is not nice.
Unknown
inv-rconc
[@3: Dave is nice.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule2 <- FAIL)]]
("Dave" "is" "nice" "-")
Gary is red.
Unknown
rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Gary" "is" "red" "+")
Alan is not blue.
Unknown
inv-rconc
[@4: Alan is blue.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule6 <- rule1 <- FAIL)]]
("Alan" "is" "blue" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "rough" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Bob is big.[(triple6)] Bob is cold.[(triple5)] Bob is red.[(triple4)] Bob is round.[(triple3)] Dave is cold.[(triple7)] @1: Bob is nice.[(((triple5 triple4) -> rule6))] @2: Bob is rough.[(((triple6 ((triple5 triple4) -> rule6)) -> rule4))] @3: Bob is blue.[(((triple5 ((triple6 ((triple5 triple4) -> rule6)) -> rule4)) -> rule5))] @4: Bob is green.[(((((triple5 ((triple6 ((triple5 triple4) -> rule6)) -> rule4)) -> rule5) ((triple5 triple4) -> rule6) triple5) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
((triple5 triple4) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple6 ((triple5 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple5 ((triple6 ((triple5 triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((((triple5 ((triple6 ((triple5 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((triple5 triple4) -> (rule6 % int4)) triple5) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Even though he's a big dude, Alan is cold.
Bob is red, cold in temperature and round shaped; Bob is also very  big.
In the snow sits Dave, crying from being cold.
Green and blue people have a habit of being cold, which makes them red too.
Nice people that are blue because they are cold turn green with envy.
A kind and big person is young.
I've been told that big, nice people are very rough.
Anyone that's rough and cold is also going to be blue.
If you're cold and red then you're nice.
Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.