Blue and green Alan is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Charlie is so young and darling he is kind to all the old people on the block. Gary is blue just like his dog. Gary is rough and round enough for the dog to use him as an exercise wheel. A person that is both green and red tends to be cold as well. A green person who is kind and a bit blue is young. It's a fact that young people are red people. You will notice that a rough, nice, red individual will be young. A cold temperatured and rough person who is also green will be big shaped.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is green and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and green then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and red and nice then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and rough and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Charlie is kind.
True
1
proof
[(triple5)]
("Charlie" "is" "kind" "+")
triple5
Gary is not blue.
False
1
inv-proof
[(triple8)]
("Gary" "is" "blue" "-")
triple8
Alan is young.
True
4
proof
[(((triple3 triple1 triple2) -> rule2))]
("Alan" "is" "young" "+")
((triple3 triple1 triple2) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is not young.
False
4
inv-proof
[(((triple3 triple1 triple2) -> rule2))]
("Alan" "is" "young" "-")
((triple3 triple1 triple2) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
True
5
proof
[(((((triple3 triple1 triple2) -> rule2)) -> rule3))]
("Alan" "is" "red" "+")
((((triple3 triple1 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not red.
False
5
inv-proof
[(((((triple3 triple1 triple2) -> rule2)) -> rule3))]
("Alan" "is" "red" "-")
((((triple3 triple1 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
True
7
proof
[(((triple2 ((((triple3 triple1 triple2) -> rule2)) -> rule3)) -> rule1))]
("Alan" "is" "cold" "+")
((triple2 ((((triple3 triple1 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not cold.
False
7
inv-proof
[(((triple2 ((((triple3 triple1 triple2) -> rule2)) -> rule3)) -> rule1))]
("Alan" "is" "cold" "-")
((triple2 ((((triple3 triple1 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "red" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is kind.[(triple1)] Charlie is kind.[(triple5)] Charlie is young.[(triple4)] Gary is blue.[(triple8)] Gary is rough.[(triple7)] Gary is round.[(triple6)] @1: Alan is young.[(((triple3 triple1 triple2) -> rule2))] Charlie is red.[(((triple4) -> rule3))] @2: Alan is red.[(((((triple3 triple1 triple2) -> rule2)) -> rule3))] @3: Alan is cold.[(((triple2 ((((triple3 triple1 triple2) -> rule2)) -> rule3)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Alan is young.
("Alan" "is" "young" "+")
((triple3 triple1 triple2) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple4) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((((triple3 triple1 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple2 ((((triple3 triple1 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Blue and green Alan is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
Charlie is so young and darling he is kind to all the old people on the block.
Gary is blue just like his dog; Gary is rough and round enough for the dog to use him as an exercise wheel.
A person that is both green and red tends to be cold as well.
A green person who is kind and a bit blue is young.
It's a fact that young people are red people.
You will notice that a rough, nice, red individual will be young.
A cold temperatured and rough person who is also green will be big shaped.