Upon meeting Alan, you'll notice he's green and kind. Bob was born only a few years ago so he is young. Round Dave is big and red, but blue from the cold. Even though Fred is young, he is still very round and still very red. Big, kind people that are rough are known for being red. Cold and rough people will also surely be round shaped. A red colored person who is kind and feels cold is usually considered nice. If you can find someone who is nice and red, then be relieved that they are certain to be kind. It's easy to be round and blue when you are young. Blue, red, young people are always going to be kind people, too.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
If someone is big and kind and rough then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is red and kind and cold then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and blue then they are young.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Dave is red.
True
1
proof
[(triple5)]
("Dave" "is" "red" "+")
triple5
Dave is not round.
False
1
inv-proof
[(triple4)]
("Dave" "is" "round" "-")
triple4
Dave is young.
True
3
proof
[(((triple4 triple7) -> rule5))]
("Dave" "is" "young" "+")
((triple4 triple7) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not young.
False
3
inv-proof
[(((triple4 triple7) -> rule5))]
("Dave" "is" "young" "-")
((triple4 triple7) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
True
6
proof
[(((triple7 triple5 ((triple4 triple7) -> rule5)) -> rule6))]
("Dave" "is" "kind" "+")
((triple7 triple5 ((triple4 triple7) -> (rule5 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not kind.
False
6
inv-proof
[(((triple7 triple5 ((triple4 triple7) -> rule5)) -> rule6))]
("Dave" "is" "kind" "-")
((triple7 triple5 ((triple4 triple7) -> (rule5 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
True
9
proof
[(((triple5 ((triple7 triple5 ((triple4 triple7) -> rule5)) -> rule6) triple6) -> rule3))]
("Dave" "is" "nice" "+")
((triple5 ((triple7 triple5 ((triple4 triple7) -> (rule5 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is not nice.
False
9
inv-proof
[(((triple5 ((triple7 triple5 ((triple4 triple7) -> rule5)) -> rule6) triple6) -> rule3))]
("Dave" "is" "nice" "-")
((triple5 ((triple7 triple5 ((triple4 triple7) -> (rule5 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is kind.
Unknown
rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Bob" "is" "kind" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "nice" "-")
Fred is kind.
Unknown
rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Fred" "is" "kind" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is young.[(triple3)] Dave is big.[(triple8)] Dave is blue.[(triple7)] Dave is cold.[(triple6)] Dave is red.[(triple5)] Dave is round.[(triple4)] Fred is red.[(triple11)] Fred is round.[(triple10)] Fred is young.[(triple9)] @1: Dave is young.[(((triple4 triple7) -> rule5))] @2: Dave is kind.[(((triple7 triple5 ((triple4 triple7) -> rule5)) -> rule6))] @3: Dave is nice.[(((triple5 ((triple7 triple5 ((triple4 triple7) -> rule5)) -> rule6) triple6) -> rule3))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple11
Fred is round.
("Fred" "is" "round" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
((triple4 triple7) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple7 triple5 ((triple4 triple7) -> (rule5 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((triple5 ((triple7 triple5 ((triple4 triple7) -> (rule5 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Upon meeting Alan, you'll notice he's green and kind.
Bob was born only a few years ago so he is young.
Round Dave is big and red, but blue from the cold.
Even though Fred is young, he is still very round and still very red.
Big, kind people that are rough are known for being red.
Cold and rough people will also surely be round shaped.
A red colored person who is kind and feels cold is usually considered nice.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
It's easy to be round and blue when you are young.
Blue, red, young people are always going to be kind people, too.