Alan is green, which is a possible explanation for why he is so nice. Young Bob is wearing green pants. Charlie is nice but rough around the edges. He is round which makes him blue and a touch green with envy of other. When you talk about Gary, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. If someone is cold and young, you'll see that they are kind. Anybody who is so cold that they are red and blue must be young. When a nice blue person is also red, they get called rough. A round shaped and rough person will be blue as well. People that are green tend to be young. Julie is really nice to gardeners since she has a green thumb.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is cold and young then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red and cold then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and red and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Charlie is green.
True
1
proof
[(triple8 OR ((triple7) -> rule6))]
("Charlie" "is" "green" "+")
triple8
((triple7) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Alan is not nice.
False
1
inv-proof
[(triple1)]
("Alan" "is" "nice" "-")
triple1
Charlie is young.
True
2
proof
[(((triple8) -> rule5) OR ((((triple7) -> rule6)) -> rule5))]
("Charlie" "is" "young" "+")
((triple8) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Alan is not young.
False
2
inv-proof
[(((triple2) -> rule5) OR ((((triple1) -> rule6)) -> rule5))]
("Alan" "is" "young" "-")
((triple2) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Gary is young.
True
3
proof
[(((((triple11) -> rule6)) -> rule5))]
("Gary" "is" "young" "+")
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not young.
False
3
inv-proof
[(((((triple11) -> rule6)) -> rule5))]
("Gary" "is" "young" "-")
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
True
5
proof
[(((triple12 ((((triple11) -> rule6)) -> rule5)) -> rule1))]
("Gary" "is" "kind" "+")
((triple12 ((((triple11) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not kind.
False
5
inv-proof
[(((triple12 ((((triple11) -> rule6)) -> rule5)) -> rule1))]
("Gary" "is" "kind" "-")
((triple12 ((((triple11) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "blue" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "kind" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Alan is green.[(triple2 OR ((triple1) -> rule6))] Alan is nice.[(triple1)] Bob is green.[(triple4)] Bob is young.[(triple3 OR ((triple4) -> rule5))] Charlie is blue.[(triple9 OR ((triple6 triple5) -> rule4))] Charlie is green.[(triple8 OR ((triple7) -> rule6))] Charlie is nice.[(triple7)] Charlie is rough.[(triple6)] Charlie is round.[(triple5)] Gary is cold.[(triple12)] Gary is nice.[(triple11)] Gary is rough.[(triple10)] @1: Alan is young.[(((triple2) -> rule5) OR ((((triple1) -> rule6)) -> rule5))] Charlie is young.[(((triple8) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] Gary is green.[(((triple11) -> rule6))] @2: Gary is young.[(((((triple11) -> rule6)) -> rule5))] @3: Gary is kind.[(((triple12 ((((triple11) -> rule6)) -> rule5)) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple2
((triple1) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple3
((triple4) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple9
((triple6 triple5) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple8
((triple7) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Alan is young.
("Alan" "is" "young" "+")
((triple2) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple8) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple11) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((((triple11) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((triple12 ((((triple11) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Alan is green, which is a possible explanation for why he is so nice.
Young Bob is wearing green pants.
Charlie is nice but rough around the edges; He is round which makes him blue and a touch green with envy of other.
When you talk about Gary, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
If someone is cold and young, you'll see that they are kind.
Anybody who is so cold that they are red and blue must be young.
When a nice blue person is also red, they get called rough.
A round shaped and rough person will be blue as well.
People that are green tend to be young.
Julie is really nice to gardeners since she has a green thumb.