Due to the fact that Alan is young, he is red and green. He remains kind nevertheless. Charlie tends to be nice, but is young. Charlie has rough blue skin. Big Harry is a nice young man who also happens to be red. When young, round people are cold it their skin gets a blue tinge to it. A quite nice person who is red and green is also big. When someone feels blue and rough, they might be described as green. You will discover that green rough people are always red. A big and rough person who is blue is also considered to be green.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young and round and cold then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and green and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and big and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Alan is red.
True
1
proof
[(triple2)]
("Alan" "is" "red" "+")
triple2
Charlie is not rough.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "rough" "-")
triple6
Charlie is green.
True
3
proof
[(((triple8 triple6) -> rule3))]
("Charlie" "is" "green" "+")
((triple8 triple6) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
3
inv-proof
[(((triple8 triple6) -> rule3))]
("Charlie" "is" "green" "-")
((triple8 triple6) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
True
5
proof
[(((((triple8 triple6) -> rule3) triple6) -> rule4))]
("Charlie" "is" "red" "+")
((((triple8 triple6) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not red.
False
5
inv-proof
[(((((triple8 triple6) -> rule3) triple6) -> rule4))]
("Charlie" "is" "red" "-")
((((triple8 triple6) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is big.
True
10
proof
[(((((((triple8 triple6) -> rule3) triple6) -> rule4) ((triple8 triple6) -> rule3) triple7) -> rule2))]
("Charlie" "is" "big" "+")
((((((triple8 triple6) -> (rule3 % int3)) triple6) -> (rule4 % int2)) ((triple8 triple6) -> (rule3 % int3)) triple7) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not big.
False
10
inv-proof
[(((((((triple8 triple6) -> rule3) triple6) -> rule4) ((triple8 triple6) -> rule3) triple7) -> rule2))]
("Charlie" "is" "big" "-")
((((((triple8 triple6) -> (rule3 % int3)) triple6) -> (rule4 % int2)) ((triple8 triple6) -> (rule3 % int3)) triple7) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "blue" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple8)] Charlie is nice.[(triple7)] Charlie is rough.[(triple6)] Charlie is young.[(triple5)] Harry is big.[(triple12)] Harry is nice.[(triple11)] Harry is red.[(triple10)] Harry is young.[(triple9)] @1: Charlie is green.[(((triple8 triple6) -> rule3))] @2: Charlie is red.[(((((triple8 triple6) -> rule3) triple6) -> rule4))] @3: Charlie is big.[(((((((triple8 triple6) -> rule3) triple6) -> rule4) ((triple8 triple6) -> rule3) triple7) -> rule2))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Charlie is green.
("Charlie" "is" "green" "+")
((triple8 triple6) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple8 triple6) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((((triple8 triple6) -> (rule3 % int3)) triple6) -> (rule4 % int2)) ((triple8 triple6) -> (rule3 % int3)) triple7) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Due to the fact that Alan is young, he is red and green; He remains kind nevertheless.
Charlie tends to be nice, but is young; Charlie has rough blue skin.
Big Harry is a nice young man who also happens to be red.
When young, round people are cold it their skin gets a blue tinge to it.
A quite nice person who is red and green is also big.
When someone feels blue and rough, they might be described as green.
You will discover that green rough people are always red.
A big and rough person who is blue is also considered to be green.