Alan is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue. Most people see Charlie as round, albeit nice and big at the same time. Gary is rough and cold, but he's young and will get over it. Their actions reflected how young and kind but green they were making things seem blue. Pick someone blue, kind and big, and they are certain to be green as well. If you big person approaches and is cold, fear not because they are nice. If you are green you are also kind. People who are rough are often rather kind as well. Big people that tend to be nice and blue, may also be a little rough to others. A blue individual that is kind and nice to others also has a rough appearance.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is young and kind and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is big and cold then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and nice and blue then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Charlie is nice.
True
1
proof
[(triple7)]
("Charlie" "is" "nice" "+")
triple7
Gary is not cold.
False
1
inv-proof
[(triple11)]
("Gary" "is" "cold" "-")
triple11
Gary is kind.
True
2
proof
[(((triple10) -> rule5))]
("Gary" "is" "kind" "+")
((triple10) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
2
inv-proof
[(((triple10) -> rule5))]
("Gary" "is" "kind" "-")
((triple10) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Alan is kind.
True
5
proof
[(((((triple5 triple3 triple4) -> rule6)) -> rule5))]
("Alan" "is" "kind" "+")
((((triple5 triple3 triple4) -> (rule6 % int2))) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not kind.
False
5
inv-proof
[(((((triple5 triple3 triple4) -> rule6)) -> rule5))]
("Alan" "is" "kind" "-")
((((triple5 triple3 triple4) -> (rule6 % int2))) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
True
8
proof
[(((triple4 ((((triple5 triple3 triple4) -> rule6)) -> rule5) triple5) -> rule2))]
("Alan" "is" "green" "+")
((triple4 ((((triple5 triple3 triple4) -> (rule6 % int3))) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not green.
False
8
inv-proof
[(((triple4 ((((triple5 triple3 triple4) -> rule6)) -> rule5) triple5) -> rule2))]
("Alan" "is" "green" "-")
((triple4 ((((triple5 triple3 triple4) -> (rule6 % int3))) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "green" "-")
Charlie is green.
Unknown
rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not kind.
Unknown
inv-rconc
[@3: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule1 <- FAIL)]]
("Charlie" "is" "kind" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple8)] Charlie is nice.[(triple7)] Charlie is round.[(triple6)] Gary is cold.[(triple11)] Gary is rough.[(triple10)] Gary is young.[(triple9)] @1: Alan is rough.[(((triple5 triple3 triple4) -> rule6))] Gary is kind.[(((triple10) -> rule5))] @2: Alan is kind.[(((((triple5 triple3 triple4) -> rule6)) -> rule5))] @3: Alan is green.[(((triple4 ((((triple5 triple3 triple4) -> rule6)) -> rule5) triple5) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Alan is rough.
("Alan" "is" "rough" "+")
((triple5 triple3 triple4) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple10) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((((triple5 triple3 triple4) -> (rule6 % int2))) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
((triple4 ((((triple5 triple3 triple4) -> (rule6 % int3))) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue.
Most people see Charlie as round, albeit nice and big at the same time.
Gary is rough and cold, but he's young and will get over it.
Their actions reflected how young and kind but green they were making things seem blue.
Pick someone blue, kind and big, and they are certain to be green as well.
If you big person approaches and is cold, fear not because they are nice.
If you are green you are also kind.
People who are rough are often rather kind as well.
Big people that tend to be nice and blue, may also be a little rough to others.
A blue individual that is kind and nice to others also has a rough appearance.