When you talk about Alan, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Charlie is very nice to people, but he's also rather big. Fred is big and rough, but kind. Fred is a mix of colors, red and green and blue. I have found that if someone is kind and red, that they are quite often nice. A nice person who is green is feeling cold. It's a fact that young people are red people. If a red and blue person is also kind to people that means they are rough as well. A cold and blue appearing person will be young as well.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue and kind then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Charlie is nice.
True
1
proof
[(triple4)]
("Charlie" "is" "nice" "+")
triple4
Fred is not blue.
False
1
inv-proof
[(triple10)]
("Fred" "is" "blue" "-")
triple10
Fred is nice.
True
3
proof
[(((triple8 triple7) -> rule1))]
("Fred" "is" "nice" "+")
((triple8 triple7) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple8 triple7) -> rule1))]
("Fred" "is" "nice" "-")
((triple8 triple7) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
True
5
proof
[(((triple9 ((triple8 triple7) -> rule1)) -> rule2))]
("Fred" "is" "cold" "+")
((triple9 ((triple8 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not cold.
False
5
inv-proof
[(((triple9 ((triple8 triple7) -> rule1)) -> rule2))]
("Fred" "is" "cold" "-")
((triple9 ((triple8 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
True
7
proof
[(((((triple9 ((triple8 triple7) -> rule1)) -> rule2) triple10) -> rule5))]
("Fred" "is" "young" "+")
((((triple9 ((triple8 triple7) -> (rule1 % int3))) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not young.
False
7
inv-proof
[(((((triple9 ((triple8 triple7) -> rule1)) -> rule2) triple10) -> rule5))]
("Fred" "is" "young" "-")
((((triple9 ((triple8 triple7) -> (rule1 % int3))) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Charlie" "is" "red" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "nice" "+")
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "rough" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "young" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple5)] Charlie is nice.[(triple4)] Fred is big.[(triple11)] Fred is blue.[(triple10)] Fred is green.[(triple9)] Fred is kind.[(triple8)] Fred is red.[(triple7)] Fred is rough.[(triple6 OR ((triple7 triple10 triple8) -> rule4))] @1: Fred is nice.[(((triple8 triple7) -> rule1))] @2: Fred is cold.[(((triple9 ((triple8 triple7) -> rule1)) -> rule2))] @3: Fred is young.[(((((triple9 ((triple8 triple7) -> rule1)) -> rule2) triple10) -> rule5))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
((triple7 triple10 triple8) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple8 triple7) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple9 ((triple8 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((triple9 ((triple8 triple7) -> (rule1 % int3))) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
When you talk about Alan, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
Charlie is very nice to people, but he's also rather big.
Fred is big and rough, but kind; Fred is a mix of colors, red and green and blue.
I have found that if someone is kind and red, that they are quite often nice.
A nice person who is green is feeling cold.
It's a fact that young people are red people.
If a red and blue person is also kind to people that means they are rough as well.
A cold and blue appearing person will be young as well.