Alan is rough, but often feels blue. He is pretty young. That rough but kind guy is Bob, the green one. Charlie is blue and cold. People who are rough around the edges, nice, and a bit blue are young. A rough, blue person is often said to be nice. A person with a rough quality is also a person with a blue quality. Green people will be nice even when they have been rough. Though their hands were rough and cold they were also kind, which is how I could tell that they were young. A person who is round shaped while also being quite cold tends to be nice.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and nice then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and rough and cold then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Alan is blue.
True
1
proof
[(triple3 OR ((triple2) -> rule3))]
("Alan" "is" "blue" "+")
triple3
((triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Bob is not kind.
False
1
inv-proof
[(triple5)]
("Bob" "is" "kind" "-")
triple5
Alan is nice.
True
3
proof
[(((triple3 triple2) -> rule2) OR ((((triple2) -> rule3) triple2) -> rule2))]
("Alan" "is" "nice" "+")
((triple3 triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
((((triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not nice.
False
3
inv-proof
[(((triple3 triple2) -> rule2) OR ((((triple2) -> rule3) triple2) -> rule2))]
("Alan" "is" "nice" "-")
((triple3 triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
((((triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Bob is nice.
True
4
proof
[(((((triple4) -> rule3) triple4) -> rule2))]
("Bob" "is" "nice" "+")
((((triple4) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not nice.
False
4
inv-proof
[(((((triple4) -> rule3) triple4) -> rule2))]
("Bob" "is" "nice" "-")
((((triple4) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
True
8
proof
[(((triple4 ((((triple4) -> rule3) triple4) -> rule2) ((triple4) -> rule3)) -> rule1))]
("Bob" "is" "young" "+")
((triple4 ((((triple4) -> (rule3 % int3)) triple4) -> (rule2 % int2)) ((triple4) -> (rule3 % int3))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not young.
False
8
inv-proof
[(((triple4 ((((triple4) -> rule3) triple4) -> rule2) ((triple4) -> rule3)) -> rule1))]
("Bob" "is" "young" "-")
((triple4 ((((triple4) -> (rule3 % int3)) triple4) -> (rule2 % int2)) ((triple4) -> (rule3 % int3))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Charlie" "is" "nice" "-")
Eric is nice.
Unknown
rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Eric" "is" "nice" "+")
Charlie is not young.
Unknown
inv-rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "young" "-")
Eric is blue.
Unknown
rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Eric" "is" "blue" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Alan is blue.[(triple3 OR ((triple2) -> rule3))] Alan is rough.[(triple2)] Alan is young.[(triple1 OR ((triple2 ((triple3 triple2) -> rule2) triple3) -> rule1) OR ((triple2 ((triple3 triple2) -> rule2) ((triple2) -> rule3)) -> rule1) OR ((triple2 ((((triple2) -> rule3) triple2) -> rule2) triple3) -> rule1) OR ((triple2 ((((triple2) -> rule3) triple2) -> rule2) ((triple2) -> rule3)) -> rule1))] Bob is green.[(triple6)] Bob is kind.[(triple5)] Bob is rough.[(triple4)] Charlie is blue.[(triple8)] Charlie is cold.[(triple7)] @1: Alan is nice.[(((triple3 triple2) -> rule2) OR ((((triple2) -> rule3) triple2) -> rule2))] Bob is blue.[(((triple4) -> rule3))] @2: Bob is nice.[(((((triple4) -> rule3) triple4) -> rule2))] @3: Bob is young.[(((triple4 ((((triple4) -> rule3) triple4) -> rule2) ((triple4) -> rule3)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
((triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
((triple2 ((triple3 triple2) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
((triple2 ((triple3 triple2) -> (rule2 % int3)) ((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
((triple2 ((((triple2) -> (rule3 % int3)) triple2) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
((triple2 ((((triple2) -> (rule3 % int3)) triple2) -> (rule2 % int2)) ((triple2) -> (rule3 % int3))) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Alan is nice.
("Alan" "is" "nice" "+")
((triple3 triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
((((triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple4) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple4) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple4 ((((triple4) -> (rule3 % int3)) triple4) -> (rule2 % int2)) ((triple4) -> (rule3 % int3))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Alan is rough, but often feels blue; He is pretty young.
That rough but kind guy is Bob, the green one.
Charlie is blue and cold.
People who are rough around the edges, nice, and a bit blue are young.
A rough, blue person is often said to be nice.
A person with a rough quality is also a person with a blue quality.
Green people will be nice even when they have been rough.
Though their hands were rough and cold they were also kind, which is how I could tell that they were young.
A person who is round shaped while also being quite cold tends to be nice.