Dave is considered to be a rather nice person who is also described as being kind, green and big. Eric was born only a few years ago so he is young. Gary gets red when he is mad and tends to act very cold. Green, nice people who have round shapes are going to be kind to you. Rough people are often round. I see it all the time, nice big people make equal a cold person. Blue people who are kind and nice are actually quite rough. Young,round people tend to be rough and big. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is green and round and nice then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and young and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Gary is cold.
True
1
proof
[(triple7)]
("Gary" "is" "cold" "+")
triple7
Eric is not young.
False
1
inv-proof
[(triple5)]
("Eric" "is" "young" "-")
triple5
Dave is cold.
True
3
proof
[(((triple1 triple4) -> rule3))]
("Dave" "is" "cold" "+")
((triple1 triple4) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
3
inv-proof
[(((triple1 triple4) -> rule3))]
("Dave" "is" "cold" "-")
((triple1 triple4) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
True
6
proof
[(((triple1 ((triple1 triple4) -> rule3) triple4) -> rule6))]
("Dave" "is" "blue" "+")
((triple1 ((triple1 triple4) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not blue.
False
6
inv-proof
[(((triple1 ((triple1 triple4) -> rule3) triple4) -> rule6))]
("Dave" "is" "blue" "-")
((triple1 ((triple1 triple4) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
True
9
proof
[(((((triple1 ((triple1 triple4) -> rule3) triple4) -> rule6) triple2 triple1) -> rule4))]
("Dave" "is" "rough" "+")
((((triple1 ((triple1 triple4) -> (rule3 % int3)) triple4) -> (rule6 % int2)) triple2 triple1) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not rough.
False
9
inv-proof
[(((((triple1 ((triple1 triple4) -> rule3) triple4) -> rule6) triple2 triple1) -> rule4))]
("Dave" "is" "rough" "-")
((((triple1 ((triple1 triple4) -> (rule3 % int3)) triple4) -> (rule6 % int2)) triple2 triple1) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
True
10
proof
[(((((((triple1 ((triple1 triple4) -> rule3) triple4) -> rule6) triple2 triple1) -> rule4)) -> rule2))]
("Dave" "is" "round" "+")
((((((triple1 ((triple1 triple4) -> (rule3 % int4)) triple4) -> (rule6 % int3)) triple2 triple1) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is not round.
False
10
inv-proof
[(((((((triple1 ((triple1 triple4) -> rule3) triple4) -> rule6) triple2 triple1) -> rule4)) -> rule2))]
("Dave" "is" "round" "-")
((((((triple1 ((triple1 triple4) -> (rule3 % int4)) triple4) -> (rule6 % int3)) triple2 triple1) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "rough" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "rough" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "blue" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "blue" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "cold" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Dave is big.[(triple4)] Dave is green.[(triple3)] Dave is kind.[(triple2)] Dave is nice.[(triple1)] Eric is young.[(triple5)] Gary is cold.[(triple7)] Gary is red.[(triple6)] @1: Dave is cold.[(((triple1 triple4) -> rule3))] @2: Dave is blue.[(((triple1 ((triple1 triple4) -> rule3) triple4) -> rule6))] @3: Dave is rough.[(((((triple1 ((triple1 triple4) -> rule3) triple4) -> rule6) triple2 triple1) -> rule4))] @4: Dave is round.[(((((((triple1 ((triple1 triple4) -> rule3) triple4) -> rule6) triple2 triple1) -> rule4)) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Eric is young.
("Eric" "is" "young" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
((triple1 triple4) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple1 ((triple1 triple4) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((triple1 ((triple1 triple4) -> (rule3 % int3)) triple4) -> (rule6 % int2)) triple2 triple1) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
((((((triple1 ((triple1 triple4) -> (rule3 % int4)) triple4) -> (rule6 % int3)) triple2 triple1) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is considered to be a rather nice person who is also described as being kind, green and big.
Eric was born only a few years ago so he is young.
Gary gets red when he is mad and tends to act very cold.
Green, nice people who have round shapes are going to be kind to you.
Rough people are often round.
I see it all the time, nice big people make equal a cold person.
Blue people who are kind and nice are actually quite rough.
Young,round people tend to be rough and big.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.