Alan was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. I know Bob really well and you can say he is rough on the outside, cold on the inside and red all of the time. Big Charlie is a nice young man who also happens to be red. Fred who is considered nice was feeling rather rough today. If a red person is cold and kind to others, they also tend to be blue. A big person who also feels blue and a bit green are usually wearing red. Young people who rough around in the cold are known to be very red. When you meet big guys with red hair, then tend to be cold hearted. A round shaped and red person is definitely nice. People blue with cold are definitely green and new in these parts. Big, red things tend to have a kind spirit to them.
Alan is round.
("Alan" "is" "round" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
If someone is cold and kind and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and blue and green then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and young and cold then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Alan is green.
True
1
proof
[(triple2)]
("Alan" "is" "green" "+")
triple2
Alan is not green.
False
1
inv-proof
[(triple2)]
("Alan" "is" "green" "-")
triple2
Charlie is cold.
True
3
proof
[(((triple10 triple8) -> rule4))]
("Charlie" "is" "cold" "+")
((triple10 triple8) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
3
inv-proof
[(((triple10 triple8) -> rule4))]
("Charlie" "is" "cold" "-")
((triple10 triple8) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
True
8
proof
[(((((triple10 triple8) -> rule4) ((triple8 triple10) -> rule7) triple8) -> rule1))]
("Charlie" "is" "blue" "+")
((((triple10 triple8) -> (rule4 % int3)) ((triple8 triple10) -> (rule7 % int2)) triple8) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not blue.
False
8
inv-proof
[(((((triple10 triple8) -> rule4) ((triple8 triple10) -> rule7) triple8) -> rule1))]
("Charlie" "is" "blue" "-")
((((triple10 triple8) -> (rule4 % int3)) ((triple8 triple10) -> (rule7 % int2)) triple8) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
True
12
proof
[(((((((triple10 triple8) -> rule4) ((triple8 triple10) -> rule7) triple8) -> rule1) ((triple10 triple8) -> rule4)) -> rule6))]
("Charlie" "is" "green" "+")
((((((triple10 triple8) -> (rule4 % int4)) ((triple8 triple10) -> (rule7 % int3)) triple8) -> (rule1 % int2)) ((triple10 triple8) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is not green.
False
12
inv-proof
[(((((((triple10 triple8) -> rule4) ((triple8 triple10) -> rule7) triple8) -> rule1) ((triple10 triple8) -> rule4)) -> rule6))]
("Charlie" "is" "green" "-")
((((((triple10 triple8) -> (rule4 % int4)) ((triple8 triple10) -> (rule7 % int3)) triple8) -> (rule1 % int2)) ((triple10 triple8) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "nice" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "red" "+")
Bob is not blue.
Unknown
inv-rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Bob" "is" "blue" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "cold" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is round.[(triple1)] Bob is cold.[(triple6)] Bob is red.[(triple5)] Bob is rough.[(triple4)] Charlie is big.[(triple10)] Charlie is nice.[(triple9)] Charlie is red.[(triple8)] Charlie is young.[(triple7)] Fred is nice.[(triple12)] Fred is rough.[(triple11)] @1: Charlie is cold.[(((triple10 triple8) -> rule4))] Charlie is kind.[(((triple8 triple10) -> rule7))] @2: Charlie is blue.[(((((triple10 triple8) -> rule4) ((triple8 triple10) -> rule7) triple8) -> rule1))] @3: Charlie is green.[(((((((triple10 triple8) -> rule4) ((triple8 triple10) -> rule7) triple8) -> rule1) ((triple10 triple8) -> rule4)) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple10
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple12
Fred is rough.
("Fred" "is" "rough" "+")
triple11
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple10 triple8) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple8 triple10) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple10 triple8) -> (rule4 % int3)) ((triple8 triple10) -> (rule7 % int2)) triple8) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((((triple10 triple8) -> (rule4 % int4)) ((triple8 triple10) -> (rule7 % int3)) triple8) -> (rule1 % int2)) ((triple10 triple8) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Alan was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
I know Bob really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Big Charlie is a nice young man who also happens to be red.
Fred who is considered nice was feeling rather rough today.
If a red person is cold and kind to others, they also tend to be blue.
A big person who also feels blue and a bit green are usually wearing red.
Young people who rough around in the cold are known to be very red.
When you meet big guys with red hair, then tend to be cold hearted.
A round shaped and red person is definitely nice.
People blue with cold are definitely green and new in these parts.
Big, red things tend to have a kind spirit to them.