Even though Dave feels blue because of how round he is, he is still nice and kind to people that talk to him. Fred, who is a young, rough person, is also a kind and cold guy. Gary always goes out of his way to show that he is kind to people. People who are rough around the edges, nice, and a bit blue are young. Almost all of the young blue and red people I have seen are big as well. A person with a rough quality is also a person with a blue quality. Like a blueberry, a big blue person is round as anything. Kind people who are blue with sadness and cold toward others are surprisingly red. Big people that tend to be nice and blue, may also be a little rough to others.
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is young and blue and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and kind and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big and nice and blue then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Dave is nice.
True
1
proof
[(triple2)]
("Dave" "is" "nice" "+")
triple2
Fred is not rough.
False
1
inv-proof
[(triple6)]
("Fred" "is" "rough" "-")
triple6
Fred is blue.
True
2
proof
[(((triple6) -> rule3))]
("Fred" "is" "blue" "+")
((triple6) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not blue.
False
2
inv-proof
[(((triple6) -> rule3))]
("Fred" "is" "blue" "-")
((triple6) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
True
5
proof
[(((triple8 triple7 ((triple6) -> rule3)) -> rule5))]
("Fred" "is" "red" "+")
((triple8 triple7 ((triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not red.
False
5
inv-proof
[(((triple8 triple7 ((triple6) -> rule3)) -> rule5))]
("Fred" "is" "red" "-")
((triple8 triple7 ((triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is big.
True
9
proof
[(((triple5 ((triple6) -> rule3) ((triple8 triple7 ((triple6) -> rule3)) -> rule5)) -> rule2))]
("Fred" "is" "big" "+")
((triple5 ((triple6) -> (rule3 % int3)) ((triple8 triple7 ((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not big.
False
9
inv-proof
[(((triple5 ((triple6) -> rule3) ((triple8 triple7 ((triple6) -> rule3)) -> rule5)) -> rule2))]
("Fred" "is" "big" "-")
((triple5 ((triple6) -> (rule3 % int3)) ((triple8 triple7 ((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is round.
True
12
proof
[(((((triple6) -> rule3) ((triple5 ((triple6) -> rule3) ((triple8 triple7 ((triple6) -> rule3)) -> rule5)) -> rule2)) -> rule4))]
("Fred" "is" "round" "+")
((((triple6) -> (rule3 % int4)) ((triple5 ((triple6) -> (rule3 % int4)) ((triple8 triple7 ((triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is not round.
False
12
inv-proof
[(((((triple6) -> rule3) ((triple5 ((triple6) -> rule3) ((triple8 triple7 ((triple6) -> rule3)) -> rule5)) -> rule2)) -> rule4))]
("Fred" "is" "round" "-")
((((triple6) -> (rule3 % int4)) ((triple5 ((triple6) -> (rule3 % int4)) ((triple8 triple7 ((triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Gary" "is" "blue" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "red" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is big.
Unknown
rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Dave is not young.
Unknown
inv-rconc
[@3: Dave is young.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule2 <- FAIL)]]
("Dave" "is" "young" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Dave is blue.[(triple4)] Dave is kind.[(triple3)] Dave is nice.[(triple2)] Dave is round.[(triple1)] Fred is cold.[(triple8)] Fred is kind.[(triple7)] Fred is rough.[(triple6)] Fred is young.[(triple5)] Gary is kind.[(triple9)] @1: Fred is blue.[(((triple6) -> rule3))] @2: Fred is red.[(((triple8 triple7 ((triple6) -> rule3)) -> rule5))] @3: Fred is big.[(((triple5 ((triple6) -> rule3) ((triple8 triple7 ((triple6) -> rule3)) -> rule5)) -> rule2))] @4: Fred is round.[(((((triple6) -> rule3) ((triple5 ((triple6) -> rule3) ((triple8 triple7 ((triple6) -> rule3)) -> rule5)) -> rule2)) -> rule4))]
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Fred is blue.
("Fred" "is" "blue" "+")
((triple6) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple8 triple7 ((triple6) -> (rule3 % int2))) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((triple5 ((triple6) -> (rule3 % int3)) ((triple8 triple7 ((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
((((triple6) -> (rule3 % int4)) ((triple5 ((triple6) -> (rule3 % int4)) ((triple8 triple7 ((triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Even though Dave feels blue because of how round he is, he is still nice and kind to people that talk to him.
Fred, who is a young, rough person, is also a kind and cold guy.
Gary always goes out of his way to show that he is kind to people.
People who are rough around the edges, nice, and a bit blue are young.
Almost all of the young blue and red people I have seen are big as well.
A person with a rough quality is also a person with a blue quality.
Like a blueberry, a big blue person is round as anything.
Kind people who are blue with sadness and cold toward others are surprisingly red.
Big people that tend to be nice and blue, may also be a little rough to others.