Charlie is blue and cold. Big Dave is nice but also rough. Though he is young, Eric is still nice despite being quite blue. Most people see Fred as round, albeit nice and big at the same time. Nice blue people are often rough. A nice person who is always seen to be wearing green clothes will be rather big in size. That young person is feeling cold because he is green to the situation making his body shape round. If a person behaves in a nice way while they are physically blue and big, they're definitely round. People who are considered rough, blue, and nice, are also green. Someone can be big and rough, but cold even though they are kind.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is young and cold and green then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and blue and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and rough and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Fred is nice.
True
1
proof
[(triple10)]
("Fred" "is" "nice" "+")
triple10
Eric is not blue.
False
1
inv-proof
[(triple8)]
("Eric" "is" "blue" "-")
triple8
Eric is rough.
True
3
proof
[(((triple7 triple8) -> rule1))]
("Eric" "is" "rough" "+")
((triple7 triple8) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not rough.
False
3
inv-proof
[(((triple7 triple8) -> rule1))]
("Eric" "is" "rough" "-")
((triple7 triple8) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is green.
True
6
proof
[(((((triple7 triple8) -> rule1) triple8 triple7) -> rule5))]
("Eric" "is" "green" "+")
((((triple7 triple8) -> (rule1 % int2)) triple8 triple7) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not green.
False
6
inv-proof
[(((((triple7 triple8) -> rule1) triple8 triple7) -> rule5))]
("Eric" "is" "green" "-")
((((triple7 triple8) -> (rule1 % int2)) triple8 triple7) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is big.
True
8
proof
[(((((((triple7 triple8) -> rule1) triple8 triple7) -> rule5) triple7) -> rule2))]
("Eric" "is" "big" "+")
((((((triple7 triple8) -> (rule1 % int3)) triple8 triple7) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not big.
False
8
inv-proof
[(((((((triple7 triple8) -> rule1) triple8 triple7) -> rule5) triple7) -> rule2))]
("Eric" "is" "big" "-")
((((((triple7 triple8) -> (rule1 % int3)) triple8 triple7) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is round.
True
11
proof
[(((triple7 triple8 ((((((triple7 triple8) -> rule1) triple8 triple7) -> rule5) triple7) -> rule2)) -> rule4))]
("Eric" "is" "round" "+")
((triple7 triple8 ((((((triple7 triple8) -> (rule1 % int4)) triple8 triple7) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Eric is not round.
False
11
inv-proof
[(((triple7 triple8 ((((((triple7 triple8) -> rule1) triple8 triple7) -> rule5) triple7) -> rule2)) -> rule4))]
("Eric" "is" "round" "-")
((triple7 triple8 ((((((triple7 triple8) -> (rule1 % int4)) triple8 triple7) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "kind" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "rough" "+")
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "green" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Charlie is blue.[(triple2)] Charlie is cold.[(triple1)] Dave is big.[(triple5)] Dave is nice.[(triple4)] Dave is rough.[(triple3)] Eric is blue.[(triple8)] Eric is nice.[(triple7)] Eric is young.[(triple6)] Fred is big.[(triple11)] Fred is nice.[(triple10)] Fred is round.[(triple9)] @1: Eric is rough.[(((triple7 triple8) -> rule1))] @2: Eric is green.[(((((triple7 triple8) -> rule1) triple8 triple7) -> rule5))] @3: Eric is big.[(((((((triple7 triple8) -> rule1) triple8 triple7) -> rule5) triple7) -> rule2))] @4: Eric is round.[(((triple7 triple8 ((((((triple7 triple8) -> rule1) triple8 triple7) -> rule5) triple7) -> rule2)) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
((triple7 triple8) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((((triple7 triple8) -> (rule1 % int2)) triple8 triple7) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((((((triple7 triple8) -> (rule1 % int3)) triple8 triple7) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
((triple7 triple8 ((((((triple7 triple8) -> (rule1 % int4)) triple8 triple7) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Charlie is blue and cold.
Big Dave is nice but also rough.
Though he is young, Eric is still nice despite being quite blue.
Most people see Fred as round, albeit nice and big at the same time.
Nice blue people are often rough.
A nice person who is always seen to be wearing green clothes will be rather big in size.
That young person is feeling cold because he is green to the situation making his body shape round.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
People who are considered rough, blue, and nice, are also green.
Someone can be big and rough, but cold even though they are kind.