Even though Alan is young, he is still very round and still very red. Charlie always goes out of his way to show that he is kind to people. Dave is green, which is a possible explanation for why he is so nice. Eric is a person who is young and also rough. He's also someone who is big and blue. Everyone that is rough but also kind will be green. Any person who is blue and round, if they are kind at the same time, will be young. In every case of people being kind and blue and green, we find they are concurrently nice. When you know someone who is young and green you can count on them being nice to everyone. If you find that someone has rough blue skin they are always kind.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is kind and rough then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
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 kind and blue and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and green then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Dave is green.
True
1
proof
[(triple6)]
("Dave" "is" "green" "+")
triple6
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Eric is kind.
True
3
proof
[(((triple8 triple9) -> rule5))]
("Eric" "is" "kind" "+")
((triple8 triple9) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is not kind.
False
3
inv-proof
[(((triple8 triple9) -> rule5))]
("Eric" "is" "kind" "-")
((triple8 triple9) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
True
5
proof
[(((((triple8 triple9) -> rule5) triple8) -> rule1))]
("Eric" "is" "green" "+")
((((triple8 triple9) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not green.
False
5
inv-proof
[(((((triple8 triple9) -> rule5) triple8) -> rule1))]
("Eric" "is" "green" "-")
((((triple8 triple9) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is nice.
True
7
proof
[(((triple7 ((((triple8 triple9) -> rule5) triple8) -> rule1)) -> rule4) OR ((((triple8 triple9) -> rule5) triple9 ((((triple8 triple9) -> rule5) triple8) -> rule1)) -> rule3))]
("Eric" "is" "nice" "+")
((triple7 ((((triple8 triple9) -> (rule5 % int3)) triple8) -> (rule1 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
((((triple8 triple9) -> (rule5 % int3)) triple9 ((((triple8 triple9) -> (rule5 % int3)) triple8) -> (rule1 % int2))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not nice.
False
7
inv-proof
[(((triple7 ((((triple8 triple9) -> rule5) triple8) -> rule1)) -> rule4) OR ((((triple8 triple9) -> rule5) triple9 ((((triple8 triple9) -> rule5) triple8) -> rule1)) -> rule3))]
("Eric" "is" "nice" "-")
((triple7 ((((triple8 triple9) -> (rule5 % int3)) triple8) -> (rule1 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
((((triple8 triple9) -> (rule5 % int3)) triple9 ((((triple8 triple9) -> (rule5 % int3)) triple8) -> (rule1 % int2))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "kind" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "+")
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "kind" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Alan is red.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Charlie is kind.[(triple4)] Dave is green.[(triple6)] Dave is nice.[(triple5)] Eric is big.[(triple10)] Eric is blue.[(triple9)] Eric is rough.[(triple8)] Eric is young.[(triple7)] @1: Eric is kind.[(((triple8 triple9) -> rule5))] @2: Eric is green.[(((((triple8 triple9) -> rule5) triple8) -> rule1))] @3: Eric is nice.[(((triple7 ((((triple8 triple9) -> rule5) triple8) -> rule1)) -> rule4) OR ((((triple8 triple9) -> rule5) triple9 ((((triple8 triple9) -> rule5) triple8) -> rule1)) -> rule3))]
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
((triple8 triple9) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((((triple8 triple9) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((triple7 ((((triple8 triple9) -> (rule5 % int3)) triple8) -> (rule1 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
((((triple8 triple9) -> (rule5 % int3)) triple9 ((((triple8 triple9) -> (rule5 % int3)) triple8) -> (rule1 % int2))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Even though Alan is young, he is still very round and still very red.
Charlie always goes out of his way to show that he is kind to people.
Dave is green, which is a possible explanation for why he is so nice.
Eric is a person who is young and also rough; He's also someone who is big and blue.
Everyone that is rough but also kind will be green.
Any person who is blue and round, if they are kind at the same time, will be young.
In every case of people being kind and blue and green, we find they are concurrently nice.
When you know someone who is young and green you can count on them being nice to everyone.
If you find that someone has rough blue skin they are always kind.