Alan is a man who is both round and rough. Dave is blue from ink he spilled on himself while being kind and helping some children paint. Fred always goes out of his way to show that he is kind to people. Gary was green with envy. Though everyone thought he was a nice, young guy he was always blue. He would only focus on how round he was compared to others. Young people who wear red lipstick are certainly kind. A kind and big person is young. A person that is nice and young is also going to be a person that is rough. Anyone perceived to be rough, cold and kind will also be nice. When somebody is round, kind and blue, you know they'll also be red. A blue person who is young and rough is also red. Those who are round and cold are young.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and cold and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and kind and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and young and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Alan is rough.
True
1
proof
[(triple2)]
("Alan" "is" "rough" "+")
triple2
Fred is not kind.
False
1
inv-proof
[(triple5)]
("Fred" "is" "kind" "-")
triple5
Gary is rough.
True
3
proof
[(((triple8 triple6) -> rule3))]
("Gary" "is" "rough" "+")
((triple8 triple6) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
3
inv-proof
[(((triple8 triple6) -> rule3))]
("Gary" "is" "rough" "-")
((triple8 triple6) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
True
6
proof
[(((triple10 triple6 ((triple8 triple6) -> rule3)) -> rule6))]
("Gary" "is" "red" "+")
((triple10 triple6 ((triple8 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not red.
False
6
inv-proof
[(((triple10 triple6 ((triple8 triple6) -> rule3)) -> rule6))]
("Gary" "is" "red" "-")
((triple10 triple6 ((triple8 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
True
8
proof
[(((((triple10 triple6 ((triple8 triple6) -> rule3)) -> rule6) triple6) -> rule1))]
("Gary" "is" "kind" "+")
((((triple10 triple6 ((triple8 triple6) -> (rule3 % int3))) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not kind.
False
8
inv-proof
[(((((triple10 triple6 ((triple8 triple6) -> rule3)) -> rule6) triple6) -> rule1))]
("Gary" "is" "kind" "-")
((((triple10 triple6 ((triple8 triple6) -> (rule3 % int3))) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@2: Alan is kind.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Alan" "is" "kind" "-")
Fred is rough.
Unknown
rconc
[@2: Fred is rough.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Fred" "is" "rough" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "nice" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "young" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Alan is rough.[(triple2)] Alan is round.[(triple1)] Dave is blue.[(triple4)] Dave is kind.[(triple3)] Fred is kind.[(triple5)] Gary is blue.[(triple10)] Gary is green.[(triple9)] Gary is nice.[(triple8)] Gary is round.[(triple7)] Gary is young.[(triple6)] @1: Gary is rough.[(((triple8 triple6) -> rule3))] @2: Gary is red.[(((triple10 triple6 ((triple8 triple6) -> rule3)) -> rule6))] @3: Gary is kind.[(((((triple10 triple6 ((triple8 triple6) -> rule3)) -> rule6) triple6) -> rule1))]
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
((triple8 triple6) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple10 triple6 ((triple8 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple10 triple6 ((triple8 triple6) -> (rule3 % int3))) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Alan is a man who is both round and rough.
Dave is blue from ink he spilled on himself while being kind and helping some children paint.
Fred always goes out of his way to show that he is kind to people.
Gary was green with envy; Though everyone thought he was a nice, young guy he was always blue; He would only focus on how round he was compared to others.
Young people who wear red lipstick are certainly kind.
A kind and big person is young.
A person that is nice and young is also going to be a person that is rough.
Anyone perceived to be rough, cold and kind will also be nice.
When somebody is round, kind and blue, you know they'll also be red.
A blue person who is young and rough is also red.
Those who are round and cold are young.