Big blue Alan is nice and young. Bob is rather rough but nice, he is a little green, cold and blue. Even though he's a big dude, Charlie is cold. Eric always goes out of his way to show that he is kind to people. Any cold, round, green person is going to be young at the same time. If you color the young ones blue then they will be kind. Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe. Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
If someone is cold and round and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and nice and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big and nice and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Bob is nice.
True
1
proof
[(triple6)]
("Bob" "is" "nice" "+")
triple6
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Alan is kind.
True
3
proof
[(((triple3 triple1) -> rule2))]
("Alan" "is" "kind" "+")
((triple3 triple1) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is not kind.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Alan" "is" "kind" "-")
((triple3 triple1) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is cold.
True
6
proof
[(((triple4 triple2 ((triple3 triple1) -> rule2)) -> rule4))]
("Alan" "is" "cold" "+")
((triple4 triple2 ((triple3 triple1) -> (rule2 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is not cold.
False
6
inv-proof
[(((triple4 triple2 ((triple3 triple1) -> rule2)) -> rule4))]
("Alan" "is" "cold" "-")
((triple4 triple2 ((triple3 triple1) -> (rule2 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
True
9
proof
[(((((triple4 triple2 ((triple3 triple1) -> rule2)) -> rule4) triple2 triple3) -> rule3))]
("Alan" "is" "red" "+")
((((triple4 triple2 ((triple3 triple1) -> (rule2 % int3))) -> (rule4 % int2)) triple2 triple3) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not red.
False
9
inv-proof
[(((((triple4 triple2 ((triple3 triple1) -> rule2)) -> rule4) triple2 triple3) -> rule3))]
("Alan" "is" "red" "-")
((((triple4 triple2 ((triple3 triple1) -> (rule2 % int3))) -> (rule4 % int2)) triple2 triple3) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "red" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "young" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "kind" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple9)] Bob is cold.[(triple8)] Bob is green.[(triple7)] Bob is nice.[(triple6)] Bob is rough.[(triple5)] Charlie is big.[(triple11)] Charlie is cold.[(triple10)] Eric is kind.[(triple12)] @1: Alan is kind.[(((triple3 triple1) -> rule2))] Bob is red.[(((triple8 triple6 triple9) -> rule3))] @2: Alan is cold.[(((triple4 triple2 ((triple3 triple1) -> rule2)) -> rule4))] @3: Alan is red.[(((((triple4 triple2 ((triple3 triple1) -> rule2)) -> rule4) triple2 triple3) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple9
Bob is cold.
("Bob" "is" "cold" "+")
triple8
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Charlie is big.
("Charlie" "is" "big" "+")
triple11
Charlie is cold.
("Charlie" "is" "cold" "+")
triple10
Eric is kind.
("Eric" "is" "kind" "+")
triple12
Alan is kind.
("Alan" "is" "kind" "+")
((triple3 triple1) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple8 triple6 triple9) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((triple4 triple2 ((triple3 triple1) -> (rule2 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((((triple4 triple2 ((triple3 triple1) -> (rule2 % int3))) -> (rule4 % int2)) triple2 triple3) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Big blue Alan is nice and young.
Bob is rather rough but nice, he is a little green, cold and blue.
Even though he's a big dude, Charlie is cold.
Eric always goes out of his way to show that he is kind to people.
Any cold, round, green person is going to be young at the same time.
If you color the young ones blue then they will be kind.
Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe.
Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.