Red Alan is what folks call him, because he is quite red. Charlie was born only a few years ago so he is young. Dave a big man for his young age. he has red hair and can be rough. If you had seen the young round Gary you'd never believe he was the same red, green and rough Gary of today. People that are big and cold are blue as well. People who are blue and green are nice. Red, kind, rough people are the young ones. Humans who are nice to others while they are young and red will also be green. Young,round people tend to be rough and big. If you meet somebody who is green, big and red you'll notice they are also blue.
Alan is red.
("Alan" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and green then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and kind and rough then they are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and young and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and young and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is green and big and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Dave is rough.
True
1
proof
[(triple4)]
("Dave" "is" "rough" "+")
triple4
Gary is not round.
False
1
inv-proof
[(triple8)]
("Gary" "is" "round" "-")
triple8
Gary is big.
True
4
proof
[(((triple9 triple7 triple8) -> rule5))]
("Gary" "is" "big" "+")
((triple9 triple7 triple8) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
4
inv-proof
[(((triple9 triple7 triple8) -> rule5))]
("Gary" "is" "big" "-")
((triple9 triple7 triple8) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
True
7
proof
[(((triple11 ((triple9 triple7 triple8) -> rule5) triple10) -> rule6))]
("Gary" "is" "blue" "+")
((triple11 ((triple9 triple7 triple8) -> (rule5 % int2)) triple10) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not blue.
False
7
inv-proof
[(((triple11 ((triple9 triple7 triple8) -> rule5) triple10) -> rule6))]
("Gary" "is" "blue" "-")
((triple11 ((triple9 triple7 triple8) -> (rule5 % int2)) triple10) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
True
9
proof
[(((((triple11 ((triple9 triple7 triple8) -> rule5) triple10) -> rule6) triple11) -> rule2))]
("Gary" "is" "nice" "+")
((((triple11 ((triple9 triple7 triple8) -> (rule5 % int3)) triple10) -> (rule6 % int2)) triple11) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not nice.
False
9
inv-proof
[(((((triple11 ((triple9 triple7 triple8) -> rule5) triple10) -> rule6) triple11) -> rule2))]
("Gary" "is" "nice" "-")
((((triple11 ((triple9 triple7 triple8) -> (rule5 % int3)) triple10) -> (rule6 % int2)) triple11) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@3: Dave is blue.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "+")
Alan is not blue.
Unknown
inv-rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Alan" "is" "blue" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Dave" "is" "nice" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is red.[(triple1)] Charlie is young.[(triple2)] Dave is big.[(triple6)] Dave is red.[(triple5)] Dave is rough.[(triple4)] Dave is young.[(triple3)] Gary is green.[(triple11)] Gary is red.[(triple10)] Gary is rough.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Gary is big.[(((triple9 triple7 triple8) -> rule5))] @2: Gary is blue.[(((triple11 ((triple9 triple7 triple8) -> rule5) triple10) -> rule6))] @3: Gary is nice.[(((((triple11 ((triple9 triple7 triple8) -> rule5) triple10) -> rule6) triple11) -> rule2))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
((triple9 triple7 triple8) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple11 ((triple9 triple7 triple8) -> (rule5 % int2)) triple10) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple11 ((triple9 triple7 triple8) -> (rule5 % int3)) triple10) -> (rule6 % int2)) triple11) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
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.
Charlie was born only a few years ago so he is young.
Dave a big man for his young age; he has red hair and can be rough.
If you had seen the young round Gary you'd never believe he was the same red, green and rough Gary of today.
People that are big and cold are blue as well.
People who are blue and green are nice.
Red, kind, rough people are the young ones.
Humans who are nice to others while they are young and red will also be green.
Young,round people tend to be rough and big.
If you meet somebody who is green, big and red you'll notice they are also blue.