Bob was feeling red with anger after the fight, but he was still a nice but big human being. Charlie looks red to most people, with blue features. Dave was kind despite being rough. And because he was so big, Dave constantly felt cold. Eric is rough around the edges, but he's often blue and always nice. Their actions reflected how young and kind but green they were making things seem blue. A person that is cold, blue and nice is also considered to be round. Red, kind, rough people are the young ones. A person with a rough quality is also a person with a blue quality. Anyone who is known to be kind, nice, and round is generally also known to be a green color. Young and nice people are ultimately cold. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is young and kind and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and blue and nice then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is red and kind and rough then they are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and nice and round then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Eric is nice.
True
1
proof
[(triple11)]
("Eric" "is" "nice" "+")
triple11
Bob is not red.
False
1
inv-proof
[(triple1)]
("Bob" "is" "red" "-")
triple1
Dave is blue.
True
2
proof
[(((triple6) -> rule4))]
("Dave" "is" "blue" "+")
((triple6) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
2
inv-proof
[(((triple6) -> rule4))]
("Dave" "is" "blue" "-")
((triple6) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
True
5
proof
[(((((triple6) -> rule4) triple6 triple9) -> rule7))]
("Dave" "is" "nice" "+")
((((triple6) -> (rule4 % int2)) triple6 triple9) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not nice.
False
5
inv-proof
[(((((triple6) -> rule4) triple6 triple9) -> rule7))]
("Dave" "is" "nice" "-")
((((triple6) -> (rule4 % int2)) triple6 triple9) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
True
9
proof
[(((triple8 ((triple6) -> rule4) ((((triple6) -> rule4) triple6 triple9) -> rule7)) -> rule2))]
("Dave" "is" "round" "+")
((triple8 ((triple6) -> (rule4 % int3)) ((((triple6) -> (rule4 % int3)) triple6 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not round.
False
9
inv-proof
[(((triple8 ((triple6) -> rule4) ((((triple6) -> rule4) triple6 triple9) -> rule7)) -> rule2))]
("Dave" "is" "round" "-")
((triple8 ((triple6) -> (rule4 % int3)) ((((triple6) -> (rule4 % int3)) triple6 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
True
16
proof
[(((triple7 ((((triple6) -> rule4) triple6 triple9) -> rule7) ((triple8 ((triple6) -> rule4) ((((triple6) -> rule4) triple6 triple9) -> rule7)) -> rule2)) -> rule5))]
("Dave" "is" "green" "+")
((triple7 ((((triple6) -> (rule4 % int4)) triple6 triple9) -> (rule7 % int3)) ((triple8 ((triple6) -> (rule4 % int4)) ((((triple6) -> (rule4 % int4)) triple6 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is not green.
False
16
inv-proof
[(((triple7 ((((triple6) -> rule4) triple6 triple9) -> rule7) ((triple8 ((triple6) -> rule4) ((((triple6) -> rule4) triple6 triple9) -> rule7)) -> rule2)) -> rule5))]
("Dave" "is" "green" "-")
((triple7 ((((triple6) -> (rule4 % int4)) triple6 triple9) -> (rule7 % int3)) ((triple8 ((triple6) -> (rule4 % int4)) ((((triple6) -> (rule4 % int4)) triple6 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Bob" "is" "cold" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "green" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "nice" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "+")
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is big.[(triple3)] Bob is nice.[(triple2)] Bob is red.[(triple1)] Charlie is blue.[(triple5)] Charlie is red.[(triple4)] Dave is big.[(triple9)] Dave is cold.[(triple8)] Dave is kind.[(triple7)] Dave is rough.[(triple6)] Eric is blue.[(triple12 OR ((triple10) -> rule4))] Eric is nice.[(triple11)] Eric is rough.[(triple10)] @1: Dave is blue.[(((triple6) -> rule4))] @2: Dave is nice.[(((((triple6) -> rule4) triple6 triple9) -> rule7))] @3: Dave is round.[(((triple8 ((triple6) -> rule4) ((((triple6) -> rule4) triple6 triple9) -> rule7)) -> rule2))] @4: Dave is green.[(((triple7 ((((triple6) -> rule4) triple6 triple9) -> rule7) ((triple8 ((triple6) -> rule4) ((((triple6) -> rule4) triple6 triple9) -> rule7)) -> rule2)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Eric is blue.
("Eric" "is" "blue" "+")
triple12
((triple10) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
triple11
Eric is rough.
("Eric" "is" "rough" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple6) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((((triple6) -> (rule4 % int2)) triple6 triple9) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple8 ((triple6) -> (rule4 % int3)) ((((triple6) -> (rule4 % int3)) triple6 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
((triple7 ((((triple6) -> (rule4 % int4)) triple6 triple9) -> (rule7 % int3)) ((triple8 ((triple6) -> (rule4 % int4)) ((((triple6) -> (rule4 % int4)) triple6 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Bob was feeling red with anger after the fight, but he was still a nice but big human being.
Charlie looks red to most people, with blue features.
Dave was kind despite being rough; And because he was so big, Dave constantly felt cold.
Eric is rough around the edges, but he's often blue and always nice.
Their actions reflected how young and kind but green they were making things seem blue.
A person that is cold, blue and nice is also considered to be round.
Red, kind, rough people are the young ones.
A person with a rough quality is also a person with a blue quality.
Anyone who is known to be kind, nice, and round is generally also known to be a green color.
Young and nice people are ultimately cold.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.