Alan was born only a few years ago so he is young. Bob is green, which is a possible explanation for why he is so nice. Charlie has a round face and is very nice. Eric is somewhat red,he is also very nice and kind, he is very big though. Nice blue people are often rough. You will probably see that red, round people are nice, as well as green. Pick someone blue, kind and big, and they are certain to be green as well. A blue colored, nice but rough person is definitely young too. Nice people who are big are always feeling blue. Anybody with big, rough and nice qualities is bound to also be young. A human being described as rough, nice and round will also fit the description of being cold.
Alan is young.
("Alan" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and red and nice then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and blue and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and rough and nice then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and round and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Charlie is nice.
True
1
proof
[(triple5)]
("Charlie" "is" "nice" "+")
triple5
Charlie is not nice.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "nice" "-")
triple5
Eric is blue.
True
3
proof
[(((triple7 triple9) -> rule5))]
("Eric" "is" "blue" "+")
((triple7 triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
3
inv-proof
[(((triple7 triple9) -> rule5))]
("Eric" "is" "blue" "-")
((triple7 triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
True
5
proof
[(((triple7 ((triple7 triple9) -> rule5)) -> rule1))]
("Eric" "is" "rough" "+")
((triple7 ((triple7 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not rough.
False
5
inv-proof
[(((triple7 ((triple7 triple9) -> rule5)) -> rule1))]
("Eric" "is" "rough" "-")
((triple7 ((triple7 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
True
8
proof
[(((triple9 ((triple7 ((triple7 triple9) -> rule5)) -> rule1) triple7) -> rule6) OR ((triple7 ((triple7 triple9) -> rule5) ((triple7 ((triple7 triple9) -> rule5)) -> rule1)) -> rule4))]
("Eric" "is" "young" "+")
((triple9 ((triple7 ((triple7 triple9) -> (rule5 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((triple7 ((triple7 triple9) -> (rule5 % int3)) ((triple7 ((triple7 triple9) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not young.
False
8
inv-proof
[(((triple9 ((triple7 ((triple7 triple9) -> rule5)) -> rule1) triple7) -> rule6) OR ((triple7 ((triple7 triple9) -> rule5) ((triple7 ((triple7 triple9) -> rule5)) -> rule1)) -> rule4))]
("Eric" "is" "young" "-")
((triple9 ((triple7 ((triple7 triple9) -> (rule5 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((triple7 ((triple7 triple9) -> (rule5 % int3)) ((triple7 ((triple7 triple9) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "blue" "-")
Charlie is cold.
Unknown
rconc
[@3: Charlie is cold.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule5 <- FAIL)]]
("Charlie" "is" "cold" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "-")
Bob is young.
Unknown
rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Alan is young.[(triple1)] Bob is green.[(triple3)] Bob is nice.[(triple2)] Charlie is nice.[(triple5)] Charlie is round.[(triple4)] Eric is big.[(triple9)] Eric is kind.[(triple8)] Eric is nice.[(triple7)] Eric is red.[(triple6)] @1: Eric is blue.[(((triple7 triple9) -> rule5))] @2: Eric is green.[(((((triple7 triple9) -> rule5) triple8 triple9) -> rule3))] Eric is rough.[(((triple7 ((triple7 triple9) -> rule5)) -> rule1))] @3: Eric is young.[(((triple9 ((triple7 ((triple7 triple9) -> rule5)) -> rule1) triple7) -> rule6) OR ((triple7 ((triple7 triple9) -> rule5) ((triple7 ((triple7 triple9) -> rule5)) -> rule1)) -> rule4))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is blue.
("Eric" "is" "blue" "+")
((triple7 triple9) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((((triple7 triple9) -> (rule5 % int2)) triple8 triple9) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((triple7 ((triple7 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((triple9 ((triple7 ((triple7 triple9) -> (rule5 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((triple7 ((triple7 triple9) -> (rule5 % int3)) ((triple7 ((triple7 triple9) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan was born only a few years ago so he is young.
Bob is green, which is a possible explanation for why he is so nice.
Charlie has a round face and is very nice.
Eric is somewhat red,he is also very nice and kind, he is very big though.
Nice blue people are often rough.
You will probably see that red, round people are nice, as well as green.
Pick someone blue, kind and big, and they are certain to be green as well.
A blue colored, nice but rough person is definitely young too.
Nice people who are big are always feeling blue.
Anybody with big, rough and nice qualities is bound to also be young.
A human being described as rough, nice and round will also fit the description of being cold.