Alan is a round shaped but rough person, and is nice with the color blue. Even though he's a big dude, Bob is cold. From a certain angle Dave is blue but he is young so maybe that will go away. Harry ate some rotten meat and now feels green. If people are nice and round, they look red. Often, when you meet a rough person with red skin, you'll see that they are young too. When someone is young, they can be cold but kind. Someone big and rough in shape is always kind. Young,round people tend to be rough and big. Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner. I bet you didn't know that nice, kind, cold people happen to be red.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is nice and round then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and young and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is young and big and blue then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and kind and cold then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Bob is big.
True
1
proof
[(triple6)]
("Bob" "is" "big" "+")
triple6
Harry is not green.
False
1
inv-proof
[(triple9)]
("Harry" "is" "green" "-")
triple9
Alan is red.
True
3
proof
[(((triple3 triple1) -> rule1))]
("Alan" "is" "red" "+")
((triple3 triple1) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is not red.
False
3
inv-proof
[(((triple3 triple1) -> rule1))]
("Alan" "is" "red" "-")
((triple3 triple1) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
True
5
proof
[(((triple2 ((triple3 triple1) -> rule1)) -> rule2))]
("Alan" "is" "young" "+")
((triple2 ((triple3 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is not young.
False
5
inv-proof
[(((triple2 ((triple3 triple1) -> rule1)) -> rule2))]
("Alan" "is" "young" "-")
((triple2 ((triple3 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
True
8
proof
[(((triple2 ((triple2 ((triple3 triple1) -> rule1)) -> rule2) triple1) -> rule5))]
("Alan" "is" "big" "+")
((triple2 ((triple2 ((triple3 triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is not big.
False
8
inv-proof
[(((triple2 ((triple2 ((triple3 triple1) -> rule1)) -> rule2) triple1) -> rule5))]
("Alan" "is" "big" "-")
((triple2 ((triple2 ((triple3 triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is kind.
True
10
proof
[(((((triple2 ((triple2 ((triple3 triple1) -> rule1)) -> rule2) triple1) -> rule5) triple2) -> rule4))]
("Alan" "is" "kind" "+")
((((triple2 ((triple2 ((triple3 triple1) -> (rule1 % int4))) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
Alan is not kind.
False
10
inv-proof
[(((((triple2 ((triple2 ((triple3 triple1) -> rule1)) -> rule2) triple1) -> rule5) triple2) -> rule4))]
("Alan" "is" "kind" "-")
((((triple2 ((triple2 ((triple3 triple1) -> (rule1 % int4))) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
Dave is not kind.
Unknown
inv-rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Dave" "is" "kind" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not young.
Unknown
inv-rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Bob" "is" "young" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "big" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "big" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Alan is blue.[(triple4)] Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple6)] Bob is cold.[(triple5)] Dave is blue.[(triple8)] Dave is young.[(triple7)] Harry is green.[(triple9)] @1: Alan is red.[(((triple3 triple1) -> rule1))] @2: Alan is young.[(((triple2 ((triple3 triple1) -> rule1)) -> rule2))] @3: Alan is big.[(((triple2 ((triple2 ((triple3 triple1) -> rule1)) -> rule2) triple1) -> rule5))] @4: Alan is kind.[(((((triple2 ((triple2 ((triple3 triple1) -> rule1)) -> rule2) triple1) -> rule5) triple2) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple9
Alan is red.
("Alan" "is" "red" "+")
((triple3 triple1) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple2 ((triple3 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((triple2 ((triple2 ((triple3 triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
((((triple2 ((triple2 ((triple3 triple1) -> (rule1 % int4))) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
Alan is a round shaped but rough person, and is nice with the color blue.
Even though he's a big dude, Bob is cold.
From a certain angle Dave is blue but he is young so maybe that will go away.
Harry ate some rotten meat and now feels green.
If people are nice and round, they look red.
Often, when you meet a rough person with red skin, you'll see that they are young too.
When someone is young, they can be cold but kind.
Someone big and rough in shape is always kind.
Young,round people tend to be rough and big.
Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner.
I bet you didn't know that nice, kind, cold people happen to be red.