Upon meeting Bob, you'll notice he's green and kind. Charlie is a red person who is round and also feels blue. For someone so round, Eric turns blue when he's cold. No wonder he's so rough and red with anger all the time. Red Fred is what folks call him, because he is quite red. A depressed person feeling blue who is kind cannot escape from being green. Any cold, round, green person is going to be young at the same time. Green people here that are also round and nice are always rough. Nice people are kind and rough when they are young. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. Someone who's young and frosty cold are actually very nice. Kind young people are also red and green.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
If someone is blue and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and round and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and round and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and blue and round then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and young and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Charlie is blue.
True
1
proof
[(triple5)]
("Charlie" "is" "blue" "+")
triple5
Bob is not kind.
False
1
inv-proof
[(triple1)]
("Bob" "is" "kind" "-")
triple1
Eric is green.
True
4
proof
[(((triple9 triple10 triple6) -> rule5))]
("Eric" "is" "green" "+")
((triple9 triple10 triple6) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
4
inv-proof
[(((triple9 triple10 triple6) -> rule5))]
("Eric" "is" "green" "-")
((triple9 triple10 triple6) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
True
7
proof
[(((triple9 triple6 ((triple9 triple10 triple6) -> rule5)) -> rule2))]
("Eric" "is" "young" "+")
((triple9 triple6 ((triple9 triple10 triple6) -> (rule5 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not young.
False
7
inv-proof
[(((triple9 triple6 ((triple9 triple10 triple6) -> rule5)) -> rule2))]
("Eric" "is" "young" "-")
((triple9 triple6 ((triple9 triple10 triple6) -> (rule5 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
True
9
proof
[(((((triple9 triple6 ((triple9 triple10 triple6) -> rule5)) -> rule2) triple9) -> rule6))]
("Eric" "is" "nice" "+")
((((triple9 triple6 ((triple9 triple10 triple6) -> (rule5 % int3))) -> (rule2 % int2)) triple9) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not nice.
False
9
inv-proof
[(((((triple9 triple6 ((triple9 triple10 triple6) -> rule5)) -> rule2) triple9) -> rule6))]
("Eric" "is" "nice" "-")
((((triple9 triple6 ((triple9 triple10 triple6) -> (rule5 % int3))) -> (rule2 % int2)) triple9) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "-")
Bob is young.
Unknown
rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Bob" "is" "young" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "nice" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Bob is green.[(triple2)] Bob is kind.[(triple1)] Charlie is blue.[(triple5)] Charlie is red.[(triple4)] Charlie is round.[(triple3)] Eric is blue.[(triple10)] Eric is cold.[(triple9)] Eric is red.[(triple8)] Eric is rough.[(triple7 OR ((((((triple9 triple6 ((triple9 triple10 triple6) -> rule5)) -> rule2) triple9) -> rule6) triple6 ((triple9 triple10 triple6) -> rule5)) -> rule3))] Eric is round.[(triple6)] Fred is red.[(triple11)] @1: Eric is green.[(((triple9 triple10 triple6) -> rule5))] @2: Eric is young.[(((triple9 triple6 ((triple9 triple10 triple6) -> rule5)) -> rule2))] @3: Eric is nice.[(((((triple9 triple6 ((triple9 triple10 triple6) -> rule5)) -> rule2) triple9) -> rule6))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
((((((triple9 triple6 ((triple9 triple10 triple6) -> (rule5 % int4))) -> (rule2 % int3)) triple9) -> (rule6 % int2)) triple6 ((triple9 triple10 triple6) -> (rule5 % int4))) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple11
Eric is green.
("Eric" "is" "green" "+")
((triple9 triple10 triple6) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple9 triple6 ((triple9 triple10 triple6) -> (rule5 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((triple9 triple6 ((triple9 triple10 triple6) -> (rule5 % int3))) -> (rule2 % int2)) triple9) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Upon meeting Bob, you'll notice he's green and kind.
Charlie is a red person who is round and also feels blue.
For someone so round, Eric turns blue when he's cold; No wonder he's so rough and red with anger all the time.
Red Fred is what folks call him, because he is quite red.
A depressed person feeling blue who is kind cannot escape from being green.
Any cold, round, green person is going to be young at the same time.
Green people here that are also round and nice are always rough.
Nice people are kind and rough when they are young.
A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
Someone who's young and frosty cold are actually very nice.
Kind young people are also red and green.