Cold, blue Bob is young, kind and green. Red Dave is what folks call him, because he is quite red. Eric had big, red, round cheeks. Fred is big and tends to wear red shirts. A green, inexperienced person with a round shape who is kind to others gets very red when in the sun. Any green person is a round person. Young people with red skin that play rough are actually quite kind. A human being described as rough, nice and round will also fit the description of being cold. If someone is kind, green, and round sized, then they are typically nice people. When a round individual is nice to others, they are also feeling blue. Green people who are nice are rough.
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is green and round and kind then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and rough and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and round and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Eric is big.
True
1
proof
[(triple9)]
("Eric" "is" "big" "+")
triple9
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Bob is round.
True
2
proof
[(((triple3) -> rule2))]
("Bob" "is" "round" "+")
((triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
2
inv-proof
[(((triple3) -> rule2))]
("Bob" "is" "round" "-")
((triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
True
5
proof
[(((triple3 ((triple3) -> rule2) triple2) -> rule1))]
("Bob" "is" "red" "+")
((triple3 ((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not nice.
False
5
inv-proof
[(((triple2 triple3 ((triple3) -> rule2)) -> rule5))]
("Bob" "is" "nice" "-")
((triple2 triple3 ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
True
7
proof
[(((((triple2 triple3 ((triple3) -> rule2)) -> rule5) triple3) -> rule7))]
("Bob" "is" "rough" "+")
((((triple2 triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not rough.
False
7
inv-proof
[(((((triple2 triple3 ((triple3) -> rule2)) -> rule5) triple3) -> rule7))]
("Bob" "is" "rough" "-")
((((triple2 triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "nice" "+")
Fred is not cold.
Unknown
inv-rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Fred" "is" "cold" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "rough" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Bob is blue.[(triple5 OR ((((triple3) -> rule2) ((triple2 triple3 ((triple3) -> rule2)) -> rule5)) -> rule6))] Bob is cold.[(triple4 OR ((((((triple2 triple3 ((triple3) -> rule2)) -> rule5) triple3) -> rule7) ((triple3) -> rule2) ((triple2 triple3 ((triple3) -> rule2)) -> rule5)) -> rule4))] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is young.[(triple1)] Dave is red.[(triple6)] Eric is big.[(triple9)] Eric is red.[(triple8)] Eric is round.[(triple7)] Fred is big.[(triple11)] Fred is red.[(triple10)] @1: Bob is round.[(((triple3) -> rule2))] @2: Bob is nice.[(((triple2 triple3 ((triple3) -> rule2)) -> rule5))] Bob is red.[(((triple3 ((triple3) -> rule2) triple2) -> rule1))] @3: Bob is rough.[(((((triple2 triple3 ((triple3) -> rule2)) -> rule5) triple3) -> rule7))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
((((triple3) -> (rule2 % int3)) ((triple2 triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
((((((triple2 triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) triple3) -> (rule7 % int2)) ((triple3) -> (rule2 % int4)) ((triple2 triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple6
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is red.
("Fred" "is" "red" "+")
triple10
Bob is round.
("Bob" "is" "round" "+")
((triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 triple3 ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((triple3 ((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((((triple2 triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Cold, blue Bob is young, kind and green.
Red Dave is what folks call him, because he is quite red.
Eric had big, red, round cheeks.
Fred is big and tends to wear red shirts.
A green, inexperienced person with a round shape who is kind to others gets very red when in the sun.
Any green person is a round person.
Young people with red skin that play rough are actually quite kind.
A human being described as rough, nice and round will also fit the description of being cold.
If someone is kind, green, and round sized, then they are typically nice people.
When a round individual is nice to others, they are also feeling blue.
Green people who are nice are rough.