Colored red, green, and blue, Alan is quite the round person. In the snow sits Charlie, crying from being cold. Dave was feeling red with anger after the fight, but he was still a nice but big human being. Being round and nice automatically means a person is kind. Nice people who are big are always feeling blue. Someone who is colored both in red and green, while being kind to others, is a round person. Big and cold people are likely to be round, too. Big, red things tend to have a kind spirit to them. I have found that kind, rough people are both red and cold. Being big and blue is standard for being green.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
If someone is round and nice then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and green and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and kind and rough then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and blue then they are green.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Dave is nice.
True
1
proof
[(triple7)]
("Dave" "is" "nice" "+")
triple7
Dave is not red.
False
1
inv-proof
[(triple6)]
("Dave" "is" "red" "-")
triple6
Dave is blue.
True
3
proof
[(((triple7 triple8) -> rule2))]
("Dave" "is" "blue" "+")
((triple7 triple8) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not kind.
False
3
inv-proof
[(((triple6 triple8) -> rule5))]
("Dave" "is" "kind" "-")
((triple6 triple8) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
True
5
proof
[(((triple8 ((triple7 triple8) -> rule2)) -> rule7))]
("Dave" "is" "green" "+")
((triple8 ((triple7 triple8) -> (rule2 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not green.
False
5
inv-proof
[(((triple8 ((triple7 triple8) -> rule2)) -> rule7))]
("Dave" "is" "green" "-")
((triple8 ((triple7 triple8) -> (rule2 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
True
10
proof
[(((triple6 ((triple8 ((triple7 triple8) -> rule2)) -> rule7) ((triple6 triple8) -> rule5)) -> rule3))]
("Dave" "is" "round" "+")
((triple6 ((triple8 ((triple7 triple8) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is not round.
False
10
inv-proof
[(((triple6 ((triple8 ((triple7 triple8) -> rule2)) -> rule7) ((triple6 triple8) -> rule5)) -> rule3))]
("Dave" "is" "round" "-")
((triple6 ((triple8 ((triple7 triple8) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "cold" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Charlie is cold.[(triple5)] Dave is big.[(triple8)] Dave is nice.[(triple7)] Dave is red.[(triple6)] @1: Dave is blue.[(((triple7 triple8) -> rule2))] Dave is kind.[(((triple6 triple8) -> rule5))] @2: Dave is green.[(((triple8 ((triple7 triple8) -> rule2)) -> rule7))] @3: Dave is round.[(((triple6 ((triple8 ((triple7 triple8) -> rule2)) -> rule7) ((triple6 triple8) -> rule5)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
((triple7 triple8) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple6 triple8) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple8 ((triple7 triple8) -> (rule2 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple6 ((triple8 ((triple7 triple8) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Colored red, green, and blue, Alan is quite the round person.
In the snow sits Charlie, crying from being cold.
Dave was feeling red with anger after the fight, but he was still a nice but big human being.
Being round and nice automatically means a person is kind.
Nice people who are big are always feeling blue.
Someone who is colored both in red and green, while being kind to others, is a round person.
Big and cold people are likely to be round, too.
Big, red things tend to have a kind spirit to them.
I have found that kind, rough people are both red and cold.
Being big and blue is standard for being green.