This Alan guy is red. He is also kind and yet cold. Bob is rough, round and young but also red. Charlie is young and round, he is also green. Even though he's a big dude, Fred is cold. Red and round people are nice to others even though they are big. Rough, round persons are also nice persons. I have noticed that nice people that are green and blue are often round-shaped. A rather round and green person will be red. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color. Kind people who look green are almost always young in age. All men who happen to be red and big, will also be blue.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is nice and round and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and green and blue then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is round and green then they are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Fred is big.
True
1
proof
[(triple12)]
("Fred" "is" "big" "+")
triple12
Fred is not big.
False
1
inv-proof
[(triple12)]
("Fred" "is" "big" "-")
triple12
Bob is nice.
True
3
proof
[(((triple6 triple5) -> rule2))]
("Bob" "is" "nice" "+")
((triple6 triple5) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Charlie is not red.
False
3
inv-proof
[(((triple9 triple10) -> rule4))]
("Charlie" "is" "red" "-")
((triple9 triple10) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Bob is big.
True
6
proof
[(((((triple6 triple5) -> rule2) triple5 triple7) -> rule1))]
("Bob" "is" "big" "+")
((((triple6 triple5) -> (rule2 % int2)) triple5 triple7) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not big.
False
6
inv-proof
[(((((triple6 triple5) -> rule2) triple5 triple7) -> rule1))]
("Bob" "is" "big" "-")
((((triple6 triple5) -> (rule2 % int2)) triple5 triple7) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
True
8
proof
[(((triple7 ((((triple6 triple5) -> rule2) triple5 triple7) -> rule1)) -> rule7))]
("Bob" "is" "blue" "+")
((triple7 ((((triple6 triple5) -> (rule2 % int3)) triple5 triple7) -> (rule1 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not blue.
False
8
inv-proof
[(((triple7 ((((triple6 triple5) -> rule2) triple5 triple7) -> rule1)) -> rule7))]
("Bob" "is" "blue" "-")
((triple7 ((((triple6 triple5) -> (rule2 % int3)) triple5 triple7) -> (rule1 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "big" "-")
Alan is blue.
Unknown
rconc
[@3: Alan is blue.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule2 <- FAIL)]]
("Alan" "is" "blue" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "young" "-")
Fred is blue.
Unknown
rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Fred" "is" "blue" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Alan is cold.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Bob is red.[(triple7)] Bob is rough.[(triple6)] Bob is round.[(triple5)] Bob is young.[(triple4)] Charlie is green.[(triple10)] Charlie is round.[(triple9)] Charlie is young.[(triple8)] Fred is big.[(triple12)] Fred is cold.[(triple11)] @1: Bob is nice.[(((triple6 triple5) -> rule2))] Charlie is red.[(((triple9 triple10) -> rule4))] @2: Bob is big.[(((((triple6 triple5) -> rule2) triple5 triple7) -> rule1))] @3: Bob is blue.[(((triple7 ((((triple6 triple5) -> rule2) triple5 triple7) -> rule1)) -> rule7))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple10
Charlie is round.
("Charlie" "is" "round" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Bob is nice.
("Bob" "is" "nice" "+")
((triple6 triple5) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple9 triple10) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple6 triple5) -> (rule2 % int2)) triple5 triple7) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple7 ((((triple6 triple5) -> (rule2 % int3)) triple5 triple7) -> (rule1 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
This Alan guy is red; He is also kind and yet cold.
Bob is rough, round and young but also red.
Charlie is young and round, he is also green.
Even though he's a big dude, Fred is cold.
Red and round people are nice to others even though they are big.
Rough, round persons are also nice persons.
I have noticed that nice people that are green and blue are often round-shaped.
A rather round and green person will be red.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
Kind people who look green are almost always young in age.
All men who happen to be red and big, will also be blue.