Alan is known to be rough and green. Red Charlie is what folks call him, because he is quite red. Eric has a round,red,rough looking face with kind eyes. Because Fred is red, green and blue he is nice and kind. A nice person with rough skin is red. A red colored and round person who is also young will be rather kind. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. People who are rough around the edges, nice, and a bit blue are young. A round shaped and rough person will be blue as well. Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is rough and nice then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is red and round and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and round and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and blue and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Eric is rough.
True
1
proof
[(triple5)]
("Eric" "is" "rough" "+")
triple5
Eric is not kind.
False
1
inv-proof
[(triple7)]
("Eric" "is" "kind" "-")
triple7
Eric is blue.
True
3
proof
[(((triple5 triple4) -> rule5))]
("Eric" "is" "blue" "+")
((triple5 triple4) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
3
inv-proof
[(((triple5 triple4) -> rule5))]
("Eric" "is" "blue" "-")
((triple5 triple4) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
True
6
proof
[(((triple5 ((triple5 triple4) -> rule5) triple7) -> rule6))]
("Eric" "is" "big" "+")
((triple5 ((triple5 triple4) -> (rule5 % int2)) triple7) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not big.
False
6
inv-proof
[(((triple5 ((triple5 triple4) -> rule5) triple7) -> rule6))]
("Eric" "is" "big" "-")
((triple5 ((triple5 triple4) -> (rule5 % int2)) triple7) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
True
9
proof
[(((triple5 triple4 ((triple5 ((triple5 triple4) -> rule5) triple7) -> rule6)) -> rule3))]
("Eric" "is" "green" "+")
((triple5 triple4 ((triple5 ((triple5 triple4) -> (rule5 % int3)) triple7) -> (rule6 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not green.
False
9
inv-proof
[(((triple5 triple4 ((triple5 ((triple5 triple4) -> rule5) triple7) -> rule6)) -> rule3))]
("Eric" "is" "green" "-")
((triple5 triple4 ((triple5 ((triple5 triple4) -> (rule5 % int3)) triple7) -> (rule6 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "big" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "young" "+")
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "kind" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Alan is green.[(triple2)] Alan is rough.[(triple1)] Charlie is red.[(triple3)] Eric is kind.[(triple7)] Eric is red.[(triple6)] Eric is rough.[(triple5)] Eric is round.[(triple4)] Fred is blue.[(triple12)] Fred is green.[(triple11)] Fred is kind.[(triple10)] Fred is nice.[(triple9)] Fred is red.[(triple8)] @1: Eric is blue.[(((triple5 triple4) -> rule5))] @2: Eric is big.[(((triple5 ((triple5 triple4) -> rule5) triple7) -> rule6))] @3: Eric is green.[(((triple5 triple4 ((triple5 ((triple5 triple4) -> rule5) triple7) -> rule6)) -> rule3))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is green.
("Fred" "is" "green" "+")
triple11
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Eric is blue.
("Eric" "is" "blue" "+")
((triple5 triple4) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple5 ((triple5 triple4) -> (rule5 % int2)) triple7) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple5 triple4 ((triple5 ((triple5 triple4) -> (rule5 % int3)) triple7) -> (rule6 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan is known to be rough and green.
Red Charlie is what folks call him, because he is quite red.
Eric has a round,red,rough looking face with kind eyes.
Because Fred is red, green and blue he is nice and kind.
A nice person with rough skin is red.
A red colored and round person who is also young will be rather kind.
If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green.
People who are rough around the edges, nice, and a bit blue are young.
A round shaped and rough person will be blue as well.
Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers.