Alan looks red to most people, with blue features. Charlie's a round guy, and a red and green guy. Eric is round, dresses in red, but is blue with cold. Gary is rough and cold, but he's young and will get over it. A kind, round person will surely be red as well. Someone who is both red and blue will also be a nice person. If a kind person is also young and round shaped, they will be colored blue. When someone feels cold, while being big and rough, they always turn out to be red. A person described as cold and kind can also be described as nice. Blue, young and round people are usually big. When a person is blue, cold, and nice, they are also pretty young too.
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is kind and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and young and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and cold and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Gary is cold.
True
1
proof
[(triple12)]
("Gary" "is" "cold" "+")
triple12
Eric is not blue.
False
1
inv-proof
[(triple9)]
("Eric" "is" "blue" "-")
triple9
Eric is nice.
True
3
proof
[(((triple7 triple9) -> rule2))]
("Eric" "is" "nice" "+")
((triple7 triple9) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is not nice.
False
3
inv-proof
[(((triple7 triple9) -> rule2))]
("Eric" "is" "nice" "-")
((triple7 triple9) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
True
6
proof
[(((triple9 triple8 ((triple7 triple9) -> rule2)) -> rule7))]
("Eric" "is" "young" "+")
((triple9 triple8 ((triple7 triple9) -> (rule2 % int2))) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is not young.
False
6
inv-proof
[(((triple9 triple8 ((triple7 triple9) -> rule2)) -> rule7))]
("Eric" "is" "young" "-")
((triple9 triple8 ((triple7 triple9) -> (rule2 % int2))) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is big.
True
9
proof
[(((triple9 ((triple9 triple8 ((triple7 triple9) -> rule2)) -> rule7) triple6) -> rule6))]
("Eric" "is" "big" "+")
((triple9 ((triple9 triple8 ((triple7 triple9) -> (rule2 % int3))) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is not big.
False
9
inv-proof
[(((triple9 ((triple9 triple8 ((triple7 triple9) -> rule2)) -> rule7) triple6) -> rule6))]
("Eric" "is" "big" "-")
((triple9 ((triple9 triple8 ((triple7 triple9) -> (rule2 % int3))) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "young" "-")
Gary is nice.
Unknown
rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "young" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "big" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Alan is blue.[(triple2)] Alan is red.[(triple1)] Charlie is green.[(triple5)] Charlie is red.[(triple4)] Charlie is round.[(triple3)] Eric is blue.[(triple9)] Eric is cold.[(triple8)] Eric is red.[(triple7)] Eric is round.[(triple6)] Gary is cold.[(triple12)] Gary is rough.[(triple11)] Gary is young.[(triple10)] @1: Alan is nice.[(((triple1 triple2) -> rule2))] Eric is nice.[(((triple7 triple9) -> rule2))] @2: Eric is young.[(((triple9 triple8 ((triple7 triple9) -> rule2)) -> rule7))] @3: Eric is big.[(((triple9 ((triple9 triple8 ((triple7 triple9) -> rule2)) -> rule7) triple6) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Alan is nice.
("Alan" "is" "nice" "+")
((triple1 triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple7 triple9) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple9 triple8 ((triple7 triple9) -> (rule2 % int2))) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple9 ((triple9 triple8 ((triple7 triple9) -> (rule2 % int3))) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Alan looks red to most people, with blue features.
Charlie's a round guy, and a red and green guy.
Eric is round, dresses in red, but is blue with cold.
Gary is rough and cold, but he's young and will get over it.
A kind, round person will surely be red as well.
Someone who is both red and blue will also be a nice person.
If a kind person is also young and round shaped, they will be colored blue.
When someone feels cold, while being big and rough, they always turn out to be red.
A person described as cold and kind can also be described as nice.
Blue, young and round people are usually big.
When a person is blue, cold, and nice, they are also pretty young too.