Alan is a young man is who big and round. He is very kind and never someone who is cold and blue. Red Bob is what folks call him, because he is quite red. Eric is both young and fairly round in size. Harry always goes out of his way to show that he is kind to people. I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion. Young and rough people tend to be green too. If you meet a nice, young, red man, you will see that they are big too. A young round person who is green is also red. A kind, young person will be rough textured. Young people that are big in size, tend to be more on the blue side.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is red.
("Bob" "is" "red" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is blue and nice and green then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is young and nice and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is young and round and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is young and kind then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Alan is blue.
True
1
proof
[(triple5 OR ((triple6 triple1) -> rule6))]
("Alan" "is" "blue" "+")
triple5
((triple6 triple1) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not big.
False
1
inv-proof
[(triple6)]
("Alan" "is" "big" "-")
triple6
Alan is rough.
True
3
proof
[(((triple1 triple3) -> rule5))]
("Alan" "is" "rough" "+")
((triple1 triple3) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is not rough.
False
3
inv-proof
[(((triple1 triple3) -> rule5))]
("Alan" "is" "rough" "-")
((triple1 triple3) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
True
5
proof
[(((triple1 ((triple1 triple3) -> rule5)) -> rule2))]
("Alan" "is" "green" "+")
((triple1 ((triple1 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not green.
False
5
inv-proof
[(((triple1 ((triple1 triple3) -> rule5)) -> rule2))]
("Alan" "is" "green" "-")
((triple1 ((triple1 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
True
8
proof
[(((triple1 triple2 ((triple1 ((triple1 triple3) -> rule5)) -> rule2)) -> rule4))]
("Alan" "is" "red" "+")
((triple1 triple2 ((triple1 ((triple1 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not red.
False
8
inv-proof
[(((triple1 triple2 ((triple1 ((triple1 triple3) -> rule5)) -> rule2)) -> rule4))]
("Alan" "is" "red" "-")
((triple1 triple2 ((triple1 ((triple1 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Eric is red.
Unknown
rconc
[@3: Eric is red.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule5 <- FAIL)]]
("Eric" "is" "red" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Eric is green.
Unknown
rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Eric" "is" "green" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Alan is big.[(triple6)] Alan is blue.[(triple5 OR ((triple6 triple1) -> rule6))] Alan is cold.[(triple4)] Alan is kind.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is red.[(triple7)] Eric is round.[(triple9)] Eric is young.[(triple8)] Harry is kind.[(triple10)] @1: Alan is rough.[(((triple1 triple3) -> rule5))] @2: Alan is green.[(((triple1 ((triple1 triple3) -> rule5)) -> rule2))] @3: Alan is red.[(((triple1 triple2 ((triple1 ((triple1 triple3) -> rule5)) -> rule2)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple6
Alan is blue.
("Alan" "is" "blue" "+")
triple5
((triple6 triple1) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple9
Eric is young.
("Eric" "is" "young" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Alan is rough.
("Alan" "is" "rough" "+")
((triple1 triple3) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((triple1 ((triple1 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((triple1 triple2 ((triple1 ((triple1 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is a young man is who big and round; He is very kind and never someone who is cold and blue.
Red Bob is what folks call him, because he is quite red.
Eric is both young and fairly round in size.
Harry always goes out of his way to show that he is kind to people.
I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion.
Young and rough people tend to be green too.
If you meet a nice, young, red man, you will see that they are big too.
A young round person who is green is also red.
A kind, young person will be rough textured.
Young people that are big in size, tend to be more on the blue side.