Others enjoy Alan's company because he is so nice and kind. Charlie is young and green. He is big and is rough around the edges with tough red skin. Others enjoy Gary's company because he is so nice and kind. Harry is blue and cold. A kind and green person who is rough around the edges is cold. Anyone that's rough and cold is also going to be blue. Everyone who manages to be both rough and round are also kind. A young person who is red and green is also going to look round. Rough, blue people tend to have a lot of green aspects.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and green and red then they are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Charlie is rough.
True
1
proof
[(triple4)]
("Charlie" "is" "rough" "+")
triple4
Charlie is not red.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "red" "-")
triple5
Charlie is round.
True
4
proof
[(((triple3 triple6 triple5) -> rule4))]
("Charlie" "is" "round" "+")
((triple3 triple6 triple5) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
4
inv-proof
[(((triple3 triple6 triple5) -> rule4))]
("Charlie" "is" "round" "-")
((triple3 triple6 triple5) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
True
6
proof
[(((triple4 ((triple3 triple6 triple5) -> rule4)) -> rule3))]
("Charlie" "is" "kind" "+")
((triple4 ((triple3 triple6 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not kind.
False
6
inv-proof
[(((triple4 ((triple3 triple6 triple5) -> rule4)) -> rule3))]
("Charlie" "is" "kind" "-")
((triple4 ((triple3 triple6 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is cold.
True
9
proof
[(((triple6 triple4 ((triple4 ((triple3 triple6 triple5) -> rule4)) -> rule3)) -> rule1))]
("Charlie" "is" "cold" "+")
((triple6 triple4 ((triple4 ((triple3 triple6 triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not cold.
False
9
inv-proof
[(((triple6 triple4 ((triple4 ((triple3 triple6 triple5) -> rule4)) -> rule3)) -> rule1))]
("Charlie" "is" "cold" "-")
((triple6 triple4 ((triple4 ((triple3 triple6 triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
True
11
proof
[(((((triple6 triple4 ((triple4 ((triple3 triple6 triple5) -> rule4)) -> rule3)) -> rule1) triple4) -> rule2))]
("Charlie" "is" "blue" "+")
((((triple6 triple4 ((triple4 ((triple3 triple6 triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is not blue.
False
11
inv-proof
[(((((triple6 triple4 ((triple4 ((triple3 triple6 triple5) -> rule4)) -> rule3)) -> rule1) triple4) -> rule2))]
("Charlie" "is" "blue" "-")
((((triple6 triple4 ((triple4 ((triple3 triple6 triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "blue" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "cold" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Alan is kind.[(triple2)] Alan is nice.[(triple1)] Charlie is big.[(triple7)] Charlie is green.[(triple6)] Charlie is red.[(triple5)] Charlie is rough.[(triple4)] Charlie is young.[(triple3)] Gary is kind.[(triple9)] Gary is nice.[(triple8)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] @1: Charlie is round.[(((triple3 triple6 triple5) -> rule4))] @2: Charlie is kind.[(((triple4 ((triple3 triple6 triple5) -> rule4)) -> rule3))] @3: Charlie is cold.[(((triple6 triple4 ((triple4 ((triple3 triple6 triple5) -> rule4)) -> rule3)) -> rule1))] @4: Charlie is blue.[(((((triple6 triple4 ((triple4 ((triple3 triple6 triple5) -> rule4)) -> rule3)) -> rule1) triple4) -> rule2))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Charlie is round.
("Charlie" "is" "round" "+")
((triple3 triple6 triple5) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 ((triple3 triple6 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple6 triple4 ((triple4 ((triple3 triple6 triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple6 triple4 ((triple4 ((triple3 triple6 triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Others enjoy Alan's company because he is so nice and kind.
Charlie is young and green; He is big and is rough around the edges with tough red skin.
Others enjoy Gary's company because he is so nice and kind.
Harry is blue and cold.
A kind and green person who is rough around the edges is cold.
Anyone that's rough and cold is also going to be blue.
Everyone who manages to be both rough and round are also kind.
A young person who is red and green is also going to look round.
Rough, blue people tend to have a lot of green aspects.