Alan is a person who is young and also rough. He's also someone who is big and blue. Charlie's a round guy, and a red and green guy. They always call him rough Eric. My friend Fred is very young. People say he is nice for having a round shape. Being round and nice automatically means a person is kind. Big, kind people that are rough are known for being red. Any person who is blue and round, if they are kind at the same time, will be young. When someone is blue, lives green they can be rough but kind. I believe that red, cold, rough people are likely to be green. A big and rough person who is blue is also considered to be green.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
If someone is round and nice then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and kind and rough then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and red and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and big and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Charlie is red.
True
1
proof
[(triple6)]
("Charlie" "is" "red" "+")
triple6
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Fred is kind.
True
3
proof
[(((triple10 triple11) -> rule1))]
("Fred" "is" "kind" "+")
((triple10 triple11) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is not kind.
False
3
inv-proof
[(((triple10 triple11) -> rule1))]
("Fred" "is" "kind" "-")
((triple10 triple11) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Alan is kind.
True
7
proof
[(((triple3 triple2 ((triple2 triple4 triple3) -> rule6)) -> rule4))]
("Alan" "is" "kind" "+")
((triple3 triple2 ((triple2 triple4 triple3) -> (rule6 % int2))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not kind.
False
7
inv-proof
[(((triple3 triple2 ((triple2 triple4 triple3) -> rule6)) -> rule4))]
("Alan" "is" "kind" "-")
((triple3 triple2 ((triple2 triple4 triple3) -> (rule6 % int2))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
True
10
proof
[(((triple4 ((triple3 triple2 ((triple2 triple4 triple3) -> rule6)) -> rule4) triple2) -> rule2))]
("Alan" "is" "red" "+")
((triple4 ((triple3 triple2 ((triple2 triple4 triple3) -> (rule6 % int3))) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not red.
False
10
inv-proof
[(((triple4 ((triple3 triple2 ((triple2 triple4 triple3) -> rule6)) -> rule4) triple2) -> rule2))]
("Alan" "is" "red" "-")
((triple4 ((triple3 triple2 ((triple2 triple4 triple3) -> (rule6 % int3))) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "kind" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "red" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "green" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Charlie is green.[(triple7)] Charlie is red.[(triple6)] Charlie is round.[(triple5)] Eric is rough.[(triple8)] Fred is nice.[(triple11)] Fred is round.[(triple10)] Fred is young.[(triple9)] @1: Alan is green.[(((triple2 triple4 triple3) -> rule6))] Fred is kind.[(((triple10 triple11) -> rule1))] @2: Alan is kind.[(((triple3 triple2 ((triple2 triple4 triple3) -> rule6)) -> rule4))] @3: Alan is red.[(((triple4 ((triple3 triple2 ((triple2 triple4 triple3) -> rule6)) -> rule4) triple2) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple11
Fred is round.
("Fred" "is" "round" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Alan is green.
("Alan" "is" "green" "+")
((triple2 triple4 triple3) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple10 triple11) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple3 triple2 ((triple2 triple4 triple3) -> (rule6 % int2))) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((triple4 ((triple3 triple2 ((triple2 triple4 triple3) -> (rule6 % int3))) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is a person who is young and also rough; He's also someone who is big and blue.
Charlie's a round guy, and a red and green guy.
They always call him rough Eric.
My friend Fred is very young; People say he is nice for having a round shape.
Being round and nice automatically means a person is kind.
Big, kind people that are rough are known for being red.
Any person who is blue and round, if they are kind at the same time, will be young.
When someone is blue, lives green they can be rough but kind.
I believe that red, cold, rough people are likely to be green.
A big and rough person who is blue is also considered to be green.