Dave fits the description of someone who is rough, red and blue. Young Eric got into a fight that left him with red sores on his face. You could say that Gary is red and kind and it would also be true that he is cold and big. Harry's a round guy, and a red and green guy. If someone has a red complexion that is rough and feels blue then you'll see they are rather nice. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color. A cold, red person with a kind disposition will certainly be big. An individual who is big and nice is also green. Big kind people are usually cold. Blue, red and nice people are always big, too.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is red and rough and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and cold and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and blue and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Eric is young.
True
1
proof
[(triple4)]
("Eric" "is" "young" "+")
triple4
Dave is not blue.
False
1
inv-proof
[(triple3)]
("Dave" "is" "blue" "-")
triple3
Dave is nice.
True
4
proof
[(((triple2 triple1 triple3) -> rule1))]
("Dave" "is" "nice" "+")
((triple2 triple1 triple3) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
4
inv-proof
[(((triple2 triple1 triple3) -> rule1))]
("Dave" "is" "nice" "-")
((triple2 triple1 triple3) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
True
7
proof
[(((((triple2 triple1 triple3) -> rule1) triple3 triple2) -> rule6))]
("Dave" "is" "big" "+")
((((triple2 triple1 triple3) -> (rule1 % int2)) triple3 triple2) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not big.
False
7
inv-proof
[(((((triple2 triple1 triple3) -> rule1) triple3 triple2) -> rule6))]
("Dave" "is" "big" "-")
((((triple2 triple1 triple3) -> (rule1 % int2)) triple3 triple2) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
True
12
proof
[(((((((triple2 triple1 triple3) -> rule1) triple3 triple2) -> rule6) ((triple2 triple1 triple3) -> rule1)) -> rule4))]
("Dave" "is" "green" "+")
((((((triple2 triple1 triple3) -> (rule1 % int3)) triple3 triple2) -> (rule6 % int2)) ((triple2 triple1 triple3) -> (rule1 % int3))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not green.
False
12
inv-proof
[(((((((triple2 triple1 triple3) -> rule1) triple3 triple2) -> rule6) ((triple2 triple1 triple3) -> rule1)) -> rule4))]
("Dave" "is" "green" "-")
((((((triple2 triple1 triple3) -> (rule1 % int3)) triple3 triple2) -> (rule6 % int2)) ((triple2 triple1 triple3) -> (rule1 % int3))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Gary is blue.
Unknown
rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Gary" "is" "blue" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "nice" "-")
Gary is green.
Unknown
rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Gary" "is" "green" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Dave is blue.[(triple3)] Dave is red.[(triple2)] Dave is rough.[(triple1)] Eric is red.[(triple5)] Eric is young.[(triple4)] Gary is big.[(triple9 OR ((triple6 triple8 triple7) -> rule3))] Gary is cold.[(triple8 OR ((triple7 triple9) -> rule5))] Gary is kind.[(triple7)] Gary is red.[(triple6)] Harry is green.[(triple12)] Harry is red.[(triple11)] Harry is round.[(triple10)] @1: Dave is nice.[(((triple2 triple1 triple3) -> rule1))] @2: Dave is big.[(((((triple2 triple1 triple3) -> rule1) triple3 triple2) -> rule6))] @3: Dave is green.[(((((((triple2 triple1 triple3) -> rule1) triple3 triple2) -> rule6) ((triple2 triple1 triple3) -> rule1)) -> rule4))]
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple9
((triple6 triple8 triple7) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple8
((triple7 triple9) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
((triple2 triple1 triple3) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((((triple2 triple1 triple3) -> (rule1 % int2)) triple3 triple2) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((((triple2 triple1 triple3) -> (rule1 % int3)) triple3 triple2) -> (rule6 % int2)) ((triple2 triple1 triple3) -> (rule1 % int3))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave fits the description of someone who is rough, red and blue.
Young Eric got into a fight that left him with red sores on his face.
You could say that Gary is red and kind and it would also be true that he is cold and big.
Harry's a round guy, and a red and green guy.
If someone has a red complexion that is rough and feels blue then you'll see they are rather nice.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
A cold, red person with a kind disposition will certainly be big.
An individual who is big and nice is also green.
Big kind people are usually cold.
Blue, red and nice people are always big, too.