Red Alan is what folks call him, because he is quite red. Eric is big and green guy whose cold personality makes him seem very rough. Big Fred, the most blue guy I know while also being cold. Gary is nice and kind, but a little rough. I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion. Young people who are big, downhearted, and blue are kind. A rough person who is young and nice is also red. Someone with rough, big traits will be a green person, as well. Someone being both nice and kind means that they are a big person. If a person behaves in a nice way while they are physically blue and big, they're definitely round. Someone who is big and kind is blue.
If someone is blue and nice and green then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and nice and rough then they are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Gary is rough.
True
1
proof
[(triple9)]
("Gary" "is" "rough" "+")
triple9
Fred is not blue.
False
1
inv-proof
[(triple7)]
("Fred" "is" "blue" "-")
triple7
Gary is big.
True
3
proof
[(((triple10 triple11) -> rule5))]
("Gary" "is" "big" "+")
((triple10 triple11) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple10 triple11) -> rule5))]
("Gary" "is" "big" "-")
((triple10 triple11) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
True
5
proof
[(((triple9 ((triple10 triple11) -> rule5)) -> rule4))]
("Gary" "is" "green" "+")
((triple9 ((triple10 triple11) -> (rule5 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not blue.
False
5
inv-proof
[(((triple11 ((triple10 triple11) -> rule5)) -> rule7))]
("Gary" "is" "blue" "-")
((triple11 ((triple10 triple11) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
True
10
proof
[(((triple10 ((triple11 ((triple10 triple11) -> rule5)) -> rule7) ((triple10 triple11) -> rule5)) -> rule6))]
("Gary" "is" "round" "+")
((triple10 ((triple11 ((triple10 triple11) -> (rule5 % int3))) -> (rule7 % int2)) ((triple10 triple11) -> (rule5 % int3))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not red.
False
12
inv-proof
[(((((triple11 ((triple10 triple11) -> rule5)) -> rule7) triple10 ((triple9 ((triple10 triple11) -> rule5)) -> rule4)) -> rule1))]
("Gary" "is" "red" "-")
((((triple11 ((triple10 triple11) -> (rule5 % int4))) -> (rule7 % int3)) triple10 ((triple9 ((triple10 triple11) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Alan is not blue.
Unknown
inv-rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Alan" "is" "blue" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "round" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "green" "-")
Eric is blue.
Unknown
rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Eric" "is" "blue" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
@0: Alan is red.[(triple1)] Eric is big.[(triple5)] Eric is cold.[(triple4)] Eric is green.[(triple3 OR ((triple2 triple5) -> rule4))] Eric is rough.[(triple2)] Fred is big.[(triple8)] Fred is blue.[(triple7)] Fred is cold.[(triple6)] Gary is kind.[(triple11)] Gary is nice.[(triple10)] Gary is rough.[(triple9)] @1: Gary is big.[(((triple10 triple11) -> rule5))] @2: Gary is blue.[(((triple11 ((triple10 triple11) -> rule5)) -> rule7))] Gary is green.[(((triple9 ((triple10 triple11) -> rule5)) -> rule4))] @3: Gary is red.[(((((triple11 ((triple10 triple11) -> rule5)) -> rule7) triple10 ((triple9 ((triple10 triple11) -> rule5)) -> rule4)) -> rule1))] Gary is round.[(((triple10 ((triple11 ((triple10 triple11) -> rule5)) -> rule7) ((triple10 triple11) -> rule5)) -> rule6))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple3
((triple2 triple5) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
((triple10 triple11) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple11 ((triple10 triple11) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple9 ((triple10 triple11) -> (rule5 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((triple11 ((triple10 triple11) -> (rule5 % int4))) -> (rule7 % int3)) triple10 ((triple9 ((triple10 triple11) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
((triple10 ((triple11 ((triple10 triple11) -> (rule5 % int3))) -> (rule7 % int2)) ((triple10 triple11) -> (rule5 % int3))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Red Alan is what folks call him, because he is quite red.
Eric is big and green guy whose cold personality makes him seem very rough.
Big Fred, the most blue guy I know while also being cold.
Gary is nice and kind, but a little rough.
I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion.
Young people who are big, downhearted, and blue are kind.
A rough person who is young and nice is also red.
Someone with rough, big traits will be a green person, as well.
Someone being both nice and kind means that they are a big person.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
Someone who is big and kind is blue.