Alan's a round guy, and a red and green guy. Because Charlie gets cold easily he tends to appear round from bundling up. Dave is interestingly colored red and blue, and is also very kind. That man standing next to you with a big round body goes by the name of Gary. When young, round people are cold it their skin gets a blue tinge to it. Someone who has a a young round face is often rough around the edges. Green people with red round cheeks are young. Round, rough people blue with sadness turn out to be green. A person that is blue green and nice are that way because they are still young. A person with a rough quality is also a person with a blue quality. Young people tend to be blue all the time and rough.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is big.
("Gary" "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 round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and green and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and round and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Charlie is cold.
True
1
proof
[(triple5)]
("Charlie" "is" "cold" "+")
triple5
Dave is not red.
False
1
inv-proof
[(triple6)]
("Dave" "is" "red" "-")
triple6
Alan is young.
True
4
proof
[(((triple2 triple3 triple1) -> rule3))]
("Alan" "is" "young" "+")
((triple2 triple3 triple1) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is not young.
False
4
inv-proof
[(((triple2 triple3 triple1) -> rule3))]
("Alan" "is" "young" "-")
((triple2 triple3 triple1) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
True
6
proof
[(((triple1 ((triple2 triple3 triple1) -> rule3)) -> rule2))]
("Alan" "is" "rough" "+")
((triple1 ((triple2 triple3 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not rough.
False
6
inv-proof
[(((triple1 ((triple2 triple3 triple1) -> rule3)) -> rule2))]
("Alan" "is" "rough" "-")
((triple1 ((triple2 triple3 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
True
7
proof
[(((((triple1 ((triple2 triple3 triple1) -> rule3)) -> rule2)) -> rule6))]
("Alan" "is" "blue" "+")
((((triple1 ((triple2 triple3 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not blue.
False
7
inv-proof
[(((((triple1 ((triple2 triple3 triple1) -> rule3)) -> rule2)) -> rule6))]
("Alan" "is" "blue" "-")
((((triple1 ((triple2 triple3 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@3: Charlie is green.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule3 <- FAIL)]]
("Charlie" "is" "green" "-")
Dave is rough.
Unknown
rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Dave" "is" "rough" "+")
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "young" "-")
Gary is blue.
Unknown
rconc
[@3: Gary is blue.[CWA. Example of deepest failure = (rule6 <- rule2 <- rule3 <- FAIL)]]
("Gary" "is" "blue" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
@0: Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Charlie is cold.[(triple5)] Charlie is round.[(triple4)] Dave is blue.[(triple8)] Dave is kind.[(triple7)] Dave is red.[(triple6)] Gary is big.[(triple10)] Gary is round.[(triple9)] @1: Alan is young.[(((triple2 triple3 triple1) -> rule3))] @2: Alan is rough.[(((triple1 ((triple2 triple3 triple1) -> rule3)) -> rule2))] @3: Alan is blue.[(((((triple1 ((triple2 triple3 triple1) -> rule3)) -> rule2)) -> rule6))]
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Alan is young.
("Alan" "is" "young" "+")
((triple2 triple3 triple1) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple1 ((triple2 triple3 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
((((triple1 ((triple2 triple3 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan's a round guy, and a red and green guy.
Because Charlie gets cold easily he tends to appear round from bundling up.
Dave is interestingly colored red and blue, and is also very kind.
That man standing next to you with a big round body goes by the name of Gary.
When young, round people are cold it their skin gets a blue tinge to it.
Someone who has a a young round face is often rough around the edges.
Green people with red round cheeks are young.
Round, rough people blue with sadness turn out to be green.
A person that is blue green and nice are that way because they are still young.
A person with a rough quality is also a person with a blue quality.
Young people tend to be blue all the time and rough.