Alan happens to be a big man who is very nice and kind. he has one green eye and the other one is blue. Due to the fact that Bob is young, he is red and green. He remains kind nevertheless. Charlie is blue from ink he spilled on himself while being kind and helping some children paint. Dave always goes out of his way to show that he is kind to people. Red and green people that are nice are cold to strangers. Any rather round person exposed to weather that leaves them red and cold will feel blue. A nice and cold person can be counted on to be a young person at the same time. When you know someone who's red, rough and nice, you'll also see that they're cold. A person with the qualities of being cold and being red will also be a person that is green. When you meet someone who is round, red and green, they will also be young. It's true that green and blue people are also red people.
If someone is red and nice and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and red and cold then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and red and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is green and red and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Charlie is blue.
True
1
proof
[(triple11)]
("Charlie" "is" "blue" "+")
triple11
Bob is not red.
False
1
inv-proof
[(triple7)]
("Bob" "is" "red" "-")
triple7
Alan is red.
True
3
proof
[(((triple3 triple4) -> rule7))]
("Alan" "is" "red" "+")
((triple3 triple4) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is not red.
False
3
inv-proof
[(((triple3 triple4) -> rule7))]
("Alan" "is" "red" "-")
((triple3 triple4) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
True
6
proof
[(((((triple3 triple4) -> rule7) triple1 triple3) -> rule1))]
("Alan" "is" "cold" "+")
((((triple3 triple4) -> (rule7 % int2)) triple1 triple3) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is not cold.
False
6
inv-proof
[(((((triple3 triple4) -> rule7) triple1 triple3) -> rule1))]
("Alan" "is" "cold" "-")
((((triple3 triple4) -> (rule7 % int2)) triple1 triple3) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
True
8
proof
[(((triple1 ((((triple3 triple4) -> rule7) triple1 triple3) -> rule1)) -> rule3))]
("Alan" "is" "young" "+")
((triple1 ((((triple3 triple4) -> (rule7 % int3)) triple1 triple3) -> (rule1 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is not young.
False
8
inv-proof
[(((triple1 ((((triple3 triple4) -> rule7) triple1 triple3) -> rule1)) -> rule3))]
("Alan" "is" "young" "-")
((triple1 ((((triple3 triple4) -> (rule7 % int3)) triple1 triple3) -> (rule1 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is nice.[(triple1)] Bob is green.[(triple9)] Bob is kind.[(triple8)] Bob is red.[(triple7)] Bob is young.[(triple6)] Charlie is blue.[(triple11)] Charlie is kind.[(triple10)] Dave is kind.[(triple12)] @1: Alan is red.[(((triple3 triple4) -> rule7))] @2: Alan is cold.[(((((triple3 triple4) -> rule7) triple1 triple3) -> rule1))] @3: Alan is young.[(((triple1 ((((triple3 triple4) -> rule7) triple1 triple3) -> rule1)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple9
Bob is kind.
("Bob" "is" "kind" "+")
triple8
Bob is red.
("Bob" "is" "red" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple11
Charlie is kind.
("Charlie" "is" "kind" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
triple12
Alan is red.
("Alan" "is" "red" "+")
((triple3 triple4) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((((triple3 triple4) -> (rule7 % int2)) triple1 triple3) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((triple1 ((((triple3 triple4) -> (rule7 % int3)) triple1 triple3) -> (rule1 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan happens to be a big man who is very nice and kind; he has one green eye and the other one is blue.
Due to the fact that Bob is young, he is red and green; He remains kind nevertheless.
Charlie is blue from ink he spilled on himself while being kind and helping some children paint.
Dave always goes out of his way to show that he is kind to people.
Red and green people that are nice are cold to strangers.
Any rather round person exposed to weather that leaves them red and cold will feel blue.
A nice and cold person can be counted on to be a young person at the same time.
When you know someone who's red, rough and nice, you'll also see that they're cold.
A person with the qualities of being cold and being red will also be a person that is green.
When you meet someone who is round, red and green, they will also be young.
It's true that green and blue people are also red people.