Bob is so big and round, it's hard to tell he is red, green and blue all at once. Red Dave is what folks call him, because he is quite red. Others enjoy Fred's company because he is so nice and kind. Gary is young and nice, but when he's feeling blue, he can also be quite cold to people. People that are big and cold are blue as well. You can tell if someone is big, kind, and young, then they are also nice. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. A person with big hair and rough lips is certainly young and jaded. You will discover that green rough people are always red. Nice people who are looking green and seeing red usually feel rather rough. When a round individual is nice to others, they are also feeling blue.
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and kind and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Bob is big.
True
1
proof
[(triple5)]
("Bob" "is" "big" "+")
triple5
Bob is not blue.
False
1
inv-proof
[(triple4 OR ((triple1 ((triple5 triple1 triple2) -> rule3)) -> rule7))]
("Bob" "is" "blue" "-")
triple4
((triple1 ((triple5 triple1 triple2) -> (rule3 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is nice.
True
4
proof
[(((triple5 triple1 triple2) -> rule3))]
("Bob" "is" "nice" "+")
((triple5 triple1 triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
4
inv-proof
[(((triple5 triple1 triple2) -> rule3))]
("Bob" "is" "nice" "-")
((triple5 triple1 triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
True
7
proof
[(((((triple5 triple1 triple2) -> rule3) triple3 triple2) -> rule6))]
("Bob" "is" "rough" "+")
((((triple5 triple1 triple2) -> (rule3 % int2)) triple3 triple2) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not rough.
False
7
inv-proof
[(((((triple5 triple1 triple2) -> rule3) triple3 triple2) -> rule6))]
("Bob" "is" "rough" "-")
((((triple5 triple1 triple2) -> (rule3 % int2)) triple3 triple2) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
True
9
proof
[(((((((triple5 triple1 triple2) -> rule3) triple3 triple2) -> rule6) triple5) -> rule4))]
("Bob" "is" "young" "+")
((((((triple5 triple1 triple2) -> (rule3 % int3)) triple3 triple2) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not young.
False
9
inv-proof
[(((((((triple5 triple1 triple2) -> rule3) triple3 triple2) -> rule6) triple5) -> rule4))]
("Bob" "is" "young" "-")
((((((triple5 triple1 triple2) -> (rule3 % int3)) triple3 triple2) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "rough" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "rough" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "rough" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Bob is big.[(triple5)] Bob is blue.[(triple4 OR ((triple1 ((triple5 triple1 triple2) -> rule3)) -> rule7))] Bob is green.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Dave is red.[(triple6)] Fred is kind.[(triple8)] Fred is nice.[(triple7)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is nice.[(triple10)] Gary is young.[(triple9)] @1: Bob is nice.[(((triple5 triple1 triple2) -> rule3))] @2: Bob is rough.[(((((triple5 triple1 triple2) -> rule3) triple3 triple2) -> rule6))] @3: Bob is young.[(((((((triple5 triple1 triple2) -> rule3) triple3 triple2) -> rule6) triple5) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple4
((triple1 ((triple5 triple1 triple2) -> (rule3 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Bob is nice.
("Bob" "is" "nice" "+")
((triple5 triple1 triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple5 triple1 triple2) -> (rule3 % int2)) triple3 triple2) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((((triple5 triple1 triple2) -> (rule3 % int3)) triple3 triple2) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is so big and round, it's hard to tell he is red, green and blue all at once.
Red Dave is what folks call him, because he is quite red.
Others enjoy Fred's company because he is so nice and kind.
Gary is young and nice, but when he's feeling blue, he can also be quite cold to people.
People that are big and cold are blue as well.
You can tell if someone is big, kind, and young, then they are also nice.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
A person with big hair and rough lips is certainly young and jaded.
You will discover that green rough people are always red.
Nice people who are looking green and seeing red usually feel rather rough.
When a round individual is nice to others, they are also feeling blue.