From a certain angle Alan is blue but he is young so maybe that will go away. Most everyone considers Charlie a rough fellow, but very kind. He's often categorized as blue, and he's big. I know Eric really well and you can say he is rough on the outside, cold on the inside and red all of the time. Fred is so young and darling he is kind to all the old people on the block. It's a fact that young people are red people. People who are blue and red and kind are described as being green. If a person that is kind is big and blue they have to be young. You will discover that green rough people are always red. Anyone will tell you the kind and the big are also rough. Big people that are also rough, are ultimately round.
Alan is young.
("Alan" "is" "young" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is kind.
("Fred" "is" "kind" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and kind and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and kind and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is big and kind then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and rough then they are round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Eric is rough.
True
1
proof
[(triple7)]
("Eric" "is" "rough" "+")
triple7
Fred is not young.
False
1
inv-proof
[(triple10)]
("Fred" "is" "young" "-")
triple10
Charlie is young.
True
4
proof
[(((triple5 triple4 triple6) -> rule3))]
("Charlie" "is" "young" "+")
((triple5 triple4 triple6) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fred is not red.
False
2
inv-proof
[(((triple10) -> rule1))]
("Fred" "is" "red" "-")
((triple10) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Charlie is red.
True
5
proof
[(((((triple5 triple4 triple6) -> rule3)) -> rule1))]
("Charlie" "is" "red" "+")
((((triple5 triple4 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not red.
False
5
inv-proof
[(((((triple5 triple4 triple6) -> rule3)) -> rule1))]
("Charlie" "is" "red" "-")
((((triple5 triple4 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
True
8
proof
[(((((((triple5 triple4 triple6) -> rule3)) -> rule1) triple4 triple5) -> rule2))]
("Charlie" "is" "green" "+")
((((((triple5 triple4 triple6) -> (rule3 % int3))) -> (rule1 % int2)) triple4 triple5) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not green.
False
8
inv-proof
[(((((((triple5 triple4 triple6) -> rule3)) -> rule1) triple4 triple5) -> rule2))]
("Charlie" "is" "green" "-")
((((((triple5 triple4 triple6) -> (rule3 % int3))) -> (rule1 % int2)) triple4 triple5) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "green" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "+")
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "round" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "round" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Alan is blue.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple6)] Charlie is blue.[(triple5)] Charlie is kind.[(triple4)] Charlie is rough.[(triple3 OR ((triple6 triple4) -> rule5))] Eric is cold.[(triple9)] Eric is red.[(triple8)] Eric is rough.[(triple7)] Fred is kind.[(triple11)] Fred is young.[(triple10)] @1: Alan is red.[(((triple1) -> rule1))] Charlie is round.[(((triple6 triple3) -> rule6) OR ((triple6 ((triple6 triple4) -> rule5)) -> rule6))] Charlie is young.[(((triple5 triple4 triple6) -> rule3))] Fred is red.[(((triple10) -> rule1))] @2: Charlie is red.[(((((triple5 triple4 triple6) -> rule3)) -> rule1))] @3: Charlie is green.[(((((((triple5 triple4 triple6) -> rule3)) -> rule1) triple4 triple5) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
((triple6 triple4) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple11
Fred is young.
("Fred" "is" "young" "+")
triple10
Alan is red.
("Alan" "is" "red" "+")
((triple1) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple6 triple3) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple6 ((triple6 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple5 triple4 triple6) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple10) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple5 triple4 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((((triple5 triple4 triple6) -> (rule3 % int3))) -> (rule1 % int2)) triple4 triple5) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
From a certain angle Alan is blue but he is young so maybe that will go away.
Most everyone considers Charlie a rough fellow, but very kind; He's often categorized as blue, and he's big.
I know Eric really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Fred is so young and darling he is kind to all the old people on the block.
It's a fact that young people are red people.
People who are blue and red and kind are described as being green.
If a person that is kind is big and blue they have to be young.
You will discover that green rough people are always red.
Anyone will tell you the kind and the big are also rough.
Big people that are also rough, are ultimately round.