Both green but also blue, Alan is nice and kind while being cold. Bob always goes out of his way to show that he is kind to people. I know Dave really well and you can say he is rough on the outside, cold on the inside and red all of the time. Fred is a young and nice man, and he is also very big shaped. A big person who is kind but blue is cold. If someone is cold and young, you'll see that they are kind. You will discover that green rough people are always red. Being green, blue, and red all point to how young someone was. When you know someone who's red, rough and nice, you'll also see that they're cold. Blue, kind, and cold people are habitually rough.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is blue and kind and big then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and young then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and red and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and cold then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Fred is nice.
True
1
proof
[(triple11)]
("Fred" "is" "nice" "+")
triple11
Dave is not rough.
False
1
inv-proof
[(triple7)]
("Dave" "is" "rough" "-")
triple7
Alan is rough.
True
4
proof
[(((triple5 triple2 triple4) -> rule6))]
("Alan" "is" "rough" "+")
((triple5 triple2 triple4) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is not rough.
False
4
inv-proof
[(((triple5 triple2 triple4) -> rule6))]
("Alan" "is" "rough" "-")
((triple5 triple2 triple4) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
True
6
proof
[(((triple3 ((triple5 triple2 triple4) -> rule6)) -> rule3))]
("Alan" "is" "red" "+")
((triple3 ((triple5 triple2 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not red.
False
6
inv-proof
[(((triple3 ((triple5 triple2 triple4) -> rule6)) -> rule3))]
("Alan" "is" "red" "-")
((triple3 ((triple5 triple2 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
True
9
proof
[(((triple3 triple5 ((triple3 ((triple5 triple2 triple4) -> rule6)) -> rule3)) -> rule4))]
("Alan" "is" "young" "+")
((triple3 triple5 ((triple3 ((triple5 triple2 triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not young.
False
9
inv-proof
[(((triple3 triple5 ((triple3 ((triple5 triple2 triple4) -> rule6)) -> rule3)) -> rule4))]
("Alan" "is" "young" "-")
((triple3 triple5 ((triple3 ((triple5 triple2 triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "young" "+")
Dave is not kind.
Unknown
inv-rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Dave" "is" "kind" "-")
Fred is cold.
Unknown
rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Fred" "is" "cold" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Alan is blue.[(triple5)] Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is nice.[(triple1)] Bob is kind.[(triple6)] Dave is cold.[(triple9)] Dave is red.[(triple8)] Dave is rough.[(triple7)] Fred is big.[(triple12)] Fred is nice.[(triple11)] Fred is young.[(triple10)] @1: Alan is rough.[(((triple5 triple2 triple4) -> rule6))] @2: Alan is red.[(((triple3 ((triple5 triple2 triple4) -> rule6)) -> rule3))] @3: Alan is young.[(((triple3 triple5 ((triple3 ((triple5 triple2 triple4) -> rule6)) -> rule3)) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple5
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is nice.
("Fred" "is" "nice" "+")
triple11
Fred is young.
("Fred" "is" "young" "+")
triple10
Alan is rough.
("Alan" "is" "rough" "+")
((triple5 triple2 triple4) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple3 ((triple5 triple2 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((triple3 triple5 ((triple3 ((triple5 triple2 triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Both green but also blue, Alan is nice and kind while being cold.
Bob always goes out of his way to show that he is kind to people.
I know Dave really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Fred is a young and nice man, and he is also very big shaped.
A big person who is kind but blue is cold.
If someone is cold and young, you'll see that they are kind.
You will discover that green rough people are always red.
Being green, blue, and red all point to how young someone was.
When you know someone who's red, rough and nice, you'll also see that they're cold.
Blue, kind, and cold people are habitually rough.