Red Alan is what folks call him, because he is quite red. Bob is colored blue and red. He is also kind and cold to the touch. Due to the fact that Fred is young, he is red and green. He remains kind nevertheless. If you met Gary you will see that he is round and red, but he is cold. Santa Claus is red and kind. He is also very nice, especially to children. I have found that blue, kind people are big. Nice green people and often blue with sadness. When someone feels cold, while being big and rough, they always turn out to be red. A nice red person that is cold is always big, I have found. Kind young people are also red and green.
Alan is red.
("Alan" "is" "red" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is red and kind then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red and nice and cold then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Bob is cold.
True
1
proof
[(triple4)]
("Bob" "is" "cold" "+")
triple4
Bob is not blue.
False
1
inv-proof
[(triple5)]
("Bob" "is" "blue" "-")
triple5
Bob is nice.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Bob" "is" "nice" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("Bob" "is" "nice" "-")
((triple2 triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Fred is blue.
True
5
proof
[(((triple9 ((triple7 triple8) -> rule1)) -> rule3) OR ((((triple7 triple6 triple8) -> rule6) ((triple7 triple8) -> rule1)) -> rule3))]
("Fred" "is" "blue" "+")
((triple9 ((triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((((triple7 triple6 triple8) -> (rule6 % int3)) ((triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not blue.
False
5
inv-proof
[(((triple9 ((triple7 triple8) -> rule1)) -> rule3) OR ((((triple7 triple6 triple8) -> rule6) ((triple7 triple8) -> rule1)) -> rule3))]
("Fred" "is" "blue" "-")
((triple9 ((triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((((triple7 triple6 triple8) -> (rule6 % int3)) ((triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is big.
True
7
proof
[(((((triple9 ((triple7 triple8) -> rule1)) -> rule3) triple8) -> rule2) OR ((((((triple7 triple6 triple8) -> rule6) ((triple7 triple8) -> rule1)) -> rule3) triple8) -> rule2))]
("Fred" "is" "big" "+")
((((triple9 ((triple7 triple8) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((((triple7 triple6 triple8) -> (rule6 % int4)) ((triple7 triple8) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
Fred is not big.
False
7
inv-proof
[(((((triple9 ((triple7 triple8) -> rule1)) -> rule3) triple8) -> rule2) OR ((((((triple7 triple6 triple8) -> rule6) ((triple7 triple8) -> rule1)) -> rule3) triple8) -> rule2))]
("Fred" "is" "big" "-")
((((triple9 ((triple7 triple8) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((((triple7 triple6 triple8) -> (rule6 % int4)) ((triple7 triple8) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is blue.
Unknown
rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Gary" "is" "blue" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "green" "-")
Gary is big.
Unknown
rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Alan is red.[(triple1)] Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is red.[(triple2)] Fred is green.[(triple9 OR ((triple7 triple6 triple8) -> rule6))] Fred is kind.[(triple8)] Fred is red.[(triple7)] Fred is young.[(triple6)] Gary is cold.[(triple12)] Gary is red.[(triple11)] Gary is round.[(triple10)] @1: Bob is big.[(((triple5 triple3) -> rule2) OR ((triple2 ((triple2 triple3) -> rule1) triple4) -> rule5))] Bob is nice.[(((triple2 triple3) -> rule1))] Fred is nice.[(((triple7 triple8) -> rule1))] @2: Fred is blue.[(((triple9 ((triple7 triple8) -> rule1)) -> rule3) OR ((((triple7 triple6 triple8) -> rule6) ((triple7 triple8) -> rule1)) -> rule3))] @3: Fred is big.[(((((triple9 ((triple7 triple8) -> rule1)) -> rule3) triple8) -> rule2) OR ((((((triple7 triple6 triple8) -> rule6) ((triple7 triple8) -> rule1)) -> rule3) triple8) -> rule2))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Fred is green.
("Fred" "is" "green" "+")
triple9
((triple7 triple6 triple8) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Bob is big.
("Bob" "is" "big" "+")
((triple5 triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple2 ((triple2 triple3) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple7 triple8) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple9 ((triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((((triple7 triple6 triple8) -> (rule6 % int3)) ((triple7 triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
((((triple9 ((triple7 triple8) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((((triple7 triple6 triple8) -> (rule6 % int4)) ((triple7 triple8) -> (rule1 % int3))) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
Red Alan is what folks call him, because he is quite red.
Bob is colored blue and red; He is also kind and cold to the touch.
Due to the fact that Fred is young, he is red and green; He remains kind nevertheless.
If you met Gary you will see that he is round and red, but he is cold.
Santa Claus is red and kind; He is also very nice, especially to children.
I have found that blue, kind people are big.
Nice green people and often blue with sadness.
When someone feels cold, while being big and rough, they always turn out to be red.
A nice red person that is cold is always big, I have found.
Kind young people are also red and green.