Alan is blue from ink he spilled on himself while being kind and helping some children paint. Charlie is a nice and red, but very kind person as soon as you meet him. Dave has a round face and is very nice. Gary has green teeth and rough skin. People also notice his blue eyes. Young and nice people have great big smiles. Any green person is a round person. Green people with red round cheeks are young. You will probably see that big, round, blue people are green, too. A person that is rough and round shaped features are going to be red.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is red and green and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is round and big and blue then they are green.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough then they are red.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Charlie is red.
True
1
proof
[(triple3)]
("Charlie" "is" "red" "+")
triple3
Charlie is not nice.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "nice" "-")
triple4
Gary is round.
True
2
proof
[(((triple9) -> rule2))]
("Gary" "is" "round" "+")
((triple9) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple9) -> rule2))]
("Gary" "is" "round" "-")
((triple9) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
True
4
proof
[(((((triple9) -> rule2) triple8) -> rule5))]
("Gary" "is" "red" "+")
((((triple9) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not red.
False
4
inv-proof
[(((((triple9) -> rule2) triple8) -> rule5))]
("Gary" "is" "red" "-")
((((triple9) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
True
8
proof
[(((((((triple9) -> rule2) triple8) -> rule5) triple9 ((triple9) -> rule2)) -> rule3))]
("Gary" "is" "young" "+")
((((((triple9) -> (rule2 % int3)) triple8) -> (rule5 % int2)) triple9 ((triple9) -> (rule2 % int3))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not young.
False
8
inv-proof
[(((((((triple9) -> rule2) triple8) -> rule5) triple9 ((triple9) -> rule2)) -> rule3))]
("Gary" "is" "young" "-")
((((((triple9) -> (rule2 % int3)) triple8) -> (rule5 % int2)) triple9 ((triple9) -> (rule2 % int3))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Dave is not big.
Unknown
inv-rconc
[@3: Dave is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule5 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is young.
Unknown
rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Dave" "is" "young" "+")
Charlie is not big.
Unknown
inv-rconc
[@3: Charlie is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule4 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is young.
Unknown
rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Charlie" "is" "young" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Alan is blue.[(triple2)] Alan is kind.[(triple1)] Charlie is kind.[(triple5)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Dave is nice.[(triple7)] Dave is round.[(triple6)] Gary is blue.[(triple10)] Gary is green.[(triple9)] Gary is rough.[(triple8)] @1: Gary is round.[(((triple9) -> rule2))] @2: Gary is red.[(((((triple9) -> rule2) triple8) -> rule5))] @3: Gary is young.[(((((((triple9) -> rule2) triple8) -> rule5) triple9 ((triple9) -> rule2)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
((triple9) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((((triple9) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((((triple9) -> (rule2 % int3)) triple8) -> (rule5 % int2)) triple9 ((triple9) -> (rule2 % int3))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Alan is blue from ink he spilled on himself while being kind and helping some children paint.
Charlie is a nice and red, but very kind person as soon as you meet him.
Dave has a round face and is very nice.
Gary has green teeth and rough skin; People also notice his blue eyes.
Young and nice people have great big smiles.
Any green person is a round person.
Green people with red round cheeks are young.
You will probably see that big, round, blue people are green, too.
A person that is rough and round shaped features are going to be red.