Alan is round, red and nice and kind. Additionally Alan is green, cold and big. Charlie ate some rotten meat and now feels green. In the snow sits Dave, crying from being cold. Being young, Eric is still green and blue. Though their hands were rough and cold they were also kind, which is how I could tell that they were young. Nice people who are looking green and seeing red usually feel rather rough. If somebody has the characteristics of being blue, rough and green, they are also going to be cold. A kind, young human will also be a blue human.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
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 big.
("Alan" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
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 nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough and green then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Alan is nice.
True
1
proof
[(triple3)]
("Alan" "is" "nice" "+")
triple3
Eric is not young.
False
1
inv-proof
[(triple10)]
("Eric" "is" "young" "-")
triple10
Alan is rough.
True
4
proof
[(((triple3 triple5 triple2) -> rule2))]
("Alan" "is" "rough" "+")
((triple3 triple5 triple2) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is not rough.
False
4
inv-proof
[(((triple3 triple5 triple2) -> rule2))]
("Alan" "is" "rough" "-")
((triple3 triple5 triple2) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
True
7
proof
[(((triple4 ((triple3 triple5 triple2) -> rule2) triple6) -> rule1))]
("Alan" "is" "young" "+")
((triple4 ((triple3 triple5 triple2) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not young.
False
7
inv-proof
[(((triple4 ((triple3 triple5 triple2) -> rule2) triple6) -> rule1))]
("Alan" "is" "young" "-")
((triple4 ((triple3 triple5 triple2) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
True
9
proof
[(((triple4 ((triple4 ((triple3 triple5 triple2) -> rule2) triple6) -> rule1)) -> rule4))]
("Alan" "is" "blue" "+")
((triple4 ((triple4 ((triple3 triple5 triple2) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not blue.
False
9
inv-proof
[(((triple4 ((triple4 ((triple3 triple5 triple2) -> rule2) triple6) -> rule1)) -> rule4))]
("Alan" "is" "blue" "-")
((triple4 ((triple4 ((triple3 triple5 triple2) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "rough" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Alan is big.[(triple7)] Alan is cold.[(triple6)] Alan is green.[(triple5)] Alan is kind.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Charlie is green.[(triple8)] Dave is cold.[(triple9)] Eric is blue.[(triple12)] Eric is green.[(triple11)] Eric is young.[(triple10)] @1: Alan is rough.[(((triple3 triple5 triple2) -> rule2))] @2: Alan is young.[(((triple4 ((triple3 triple5 triple2) -> rule2) triple6) -> rule1))] @3: Alan is blue.[(((triple4 ((triple4 ((triple3 triple5 triple2) -> rule2) triple6) -> rule1)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple7
Alan is cold.
("Alan" "is" "cold" "+")
triple6
Alan is green.
("Alan" "is" "green" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Eric is blue.
("Eric" "is" "blue" "+")
triple12
Eric is green.
("Eric" "is" "green" "+")
triple11
Eric is young.
("Eric" "is" "young" "+")
triple10
Alan is rough.
("Alan" "is" "rough" "+")
((triple3 triple5 triple2) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple4 ((triple3 triple5 triple2) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
((triple4 ((triple4 ((triple3 triple5 triple2) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is round, red and nice and kind; Additionally Alan is green, cold and big.
Charlie ate some rotten meat and now feels green.
In the snow sits Dave, crying from being cold.
Being young, Eric is still green and blue.
Though their hands were rough and cold they were also kind, which is how I could tell that they were young.
Nice people who are looking green and seeing red usually feel rather rough.
If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
A kind, young human will also be a blue human.