Alan gets red when he is mad and tends to act very cold. To the touch Charlie has rough, cold skin. Fred is a person both green and big. Anyone dealing with Gary notices not only his round and rough qualities, but also that he's young, nice, cold and big. People who are red and round are usually assumed to be green. People who are blue, cold, and round are often kind. Round, blue, and green people are poften rough. Young and kind folks are always big. Among the green people who are young, the color blue is always part of them. A nice and young aged person will definitely be green in color.
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold and round then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is green and young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Charlie is rough.
True
1
proof
[(triple3)]
("Charlie" "is" "rough" "+")
triple3
Alan is not cold.
False
1
inv-proof
[(triple2)]
("Alan" "is" "cold" "-")
triple2
Gary is green.
True
3
proof
[(((triple10 triple7) -> rule6))]
("Gary" "is" "green" "+")
((triple10 triple7) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple10 triple7) -> rule6))]
("Gary" "is" "green" "-")
((triple10 triple7) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
True
5
proof
[(((((triple10 triple7) -> rule6) triple7) -> rule5))]
("Gary" "is" "blue" "+")
((((triple10 triple7) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not blue.
False
5
inv-proof
[(((((triple10 triple7) -> rule6) triple7) -> rule5))]
("Gary" "is" "blue" "-")
((((triple10 triple7) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
True
8
proof
[(((((((triple10 triple7) -> rule6) triple7) -> rule5) triple11 triple8) -> rule2))]
("Gary" "is" "kind" "+")
((((((triple10 triple7) -> (rule6 % int3)) triple7) -> (rule5 % int2)) triple11 triple8) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not kind.
False
8
inv-proof
[(((((((triple10 triple7) -> rule6) triple7) -> rule5) triple11 triple8) -> rule2))]
("Gary" "is" "kind" "-")
((((((triple10 triple7) -> (rule6 % int3)) triple7) -> (rule5 % int2)) triple11 triple8) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "blue" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "kind" "+")
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "blue" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "big" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is cold.[(triple2)] Alan is red.[(triple1)] Charlie is cold.[(triple4)] Charlie is rough.[(triple3)] Fred is big.[(triple6)] Fred is green.[(triple5)] Gary is big.[(triple12 OR ((((((((triple10 triple7) -> rule6) triple7) -> rule5) triple11 triple8) -> rule2) triple7) -> rule4))] Gary is cold.[(triple11)] Gary is nice.[(triple10)] Gary is rough.[(triple9 OR ((((((triple10 triple7) -> rule6) triple7) -> rule5) ((triple10 triple7) -> rule6) triple8) -> rule3))] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Gary is green.[(((triple10 triple7) -> rule6))] @2: Gary is blue.[(((((triple10 triple7) -> rule6) triple7) -> rule5))] @3: Gary is kind.[(((((((triple10 triple7) -> rule6) triple7) -> rule5) triple11 triple8) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple12
((((((((triple10 triple7) -> (rule6 % int4)) triple7) -> (rule5 % int3)) triple11 triple8) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
((((((triple10 triple7) -> (rule6 % int3)) triple7) -> (rule5 % int2)) ((triple10 triple7) -> (rule6 % int3)) triple8) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
((triple10 triple7) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple10 triple7) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((((triple10 triple7) -> (rule6 % int3)) triple7) -> (rule5 % int2)) triple11 triple8) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Alan gets red when he is mad and tends to act very cold.
To the touch Charlie has rough, cold skin.
Fred is a person both green and big.
Anyone dealing with Gary notices not only his round and rough qualities, but also that he's young, nice, cold and big.
People who are red and round are usually assumed to be green.
People who are blue, cold, and round are often kind.
Round, blue, and green people are poften rough.
Young and kind folks are always big.
Among the green people who are young, the color blue is always part of them.
A nice and young aged person will definitely be green in color.