Red Alan is what folks call him, because he is quite red. Upon meeting Charlie, you'll notice he's green and kind. Dave looks red to most people, with blue features. Fred is big and rough. Red, big people can't help but be round as well. A nice and blue person who's also red will be a rough person. A person that is blue green and nice are that way because they are still young. In every case of people being kind and blue and green, we find they are concurrently nice. Someone who is colored both in red and green, while being kind to others, is a round person. Incredible as it may seem, young people who are red and have kind attitudes are always round. Kind people, for example, like the ones at the bank are always blue.
Alan is red.
("Alan" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and blue and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and green and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is young and red and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Fred is big.
True
1
proof
[(triple7)]
("Fred" "is" "big" "+")
triple7
Dave is not blue.
False
1
inv-proof
[(triple5)]
("Dave" "is" "blue" "-")
triple5
Charlie is blue.
True
2
proof
[(((triple2) -> rule7))]
("Charlie" "is" "blue" "+")
((triple2) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
2
inv-proof
[(((triple2) -> rule7))]
("Charlie" "is" "blue" "-")
((triple2) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
True
5
proof
[(((triple2 ((triple2) -> rule7) triple3) -> rule4))]
("Charlie" "is" "nice" "+")
((triple2 ((triple2) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not nice.
False
5
inv-proof
[(((triple2 ((triple2) -> rule7) triple3) -> rule4))]
("Charlie" "is" "nice" "-")
((triple2 ((triple2) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
True
9
proof
[(((((triple2) -> rule7) triple3 ((triple2 ((triple2) -> rule7) triple3) -> rule4)) -> rule3))]
("Charlie" "is" "young" "+")
((((triple2) -> (rule7 % int3)) triple3 ((triple2 ((triple2) -> (rule7 % int3)) triple3) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not young.
False
9
inv-proof
[(((((triple2) -> rule7) triple3 ((triple2 ((triple2) -> rule7) triple3) -> rule4)) -> rule3))]
("Charlie" "is" "young" "-")
((((triple2) -> (rule7 % int3)) triple3 ((triple2 ((triple2) -> (rule7 % int3)) triple3) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "young" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "nice" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "nice" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Alan is red.[(triple1)] Charlie is green.[(triple3)] Charlie is kind.[(triple2)] Dave is blue.[(triple5)] Dave is red.[(triple4)] Fred is big.[(triple7)] Fred is rough.[(triple6)] @1: Charlie is blue.[(((triple2) -> rule7))] @2: Charlie is nice.[(((triple2 ((triple2) -> rule7) triple3) -> rule4))] @3: Charlie is young.[(((((triple2) -> rule7) triple3 ((triple2 ((triple2) -> rule7) triple3) -> rule4)) -> rule3))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple2) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2 ((triple2) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple2) -> (rule7 % int3)) triple3 ((triple2 ((triple2) -> (rule7 % int3)) triple3) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Red Alan is what folks call him, because he is quite red.
Upon meeting Charlie, you'll notice he's green and kind.
Dave looks red to most people, with blue features.
Fred is big and rough.
Red, big people can't help but be round as well.
A nice and blue person who's also red will be a rough person.
A person that is blue green and nice are that way because they are still young.
In every case of people being kind and blue and green, we find they are concurrently nice.
Someone who is colored both in red and green, while being kind to others, is a round person.
Incredible as it may seem, young people who are red and have kind attitudes are always round.
Kind people, for example, like the ones at the bank are always blue.