Alan ate some rotten meat and now feels green. Charlie loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Eric is both young and fairly round in size. Harry is blue and cold. People who are rough are young. A person who is described as young and cold, but also described as rough is nice. A nice and blue person who's also red will be a rough person. Young people with red, flushed cheeks who are rough around the edges are really quite nice. Young,round people tend to be rough and big. If you ever find someone who's nice, rough, and blue, expect them to also be green. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.
Alan is green.
("Alan" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is young and cold and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and young and rough then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
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 nice and rough and blue then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and nice and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Charlie is cold.
True
1
proof
[(triple4)]
("Charlie" "is" "cold" "+")
triple4
Alan is not green.
False
1
inv-proof
[(triple1)]
("Alan" "is" "green" "-")
triple1
Charlie is young.
True
2
proof
[(((triple3) -> rule1))]
("Charlie" "is" "young" "+")
((triple3) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple3) -> rule1))]
("Charlie" "is" "young" "-")
((triple3) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
True
5
proof
[(((((triple3) -> rule1) triple4 triple3) -> rule2))]
("Charlie" "is" "nice" "+")
((((triple3) -> (rule1 % int2)) triple4 triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not nice.
False
5
inv-proof
[(((((triple3) -> rule1) triple4 triple3) -> rule2))]
("Charlie" "is" "nice" "-")
((((triple3) -> (rule1 % int2)) triple4 triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
True
12
proof
[(((triple4 ((((triple3) -> rule1) triple4 triple3) -> rule2) ((triple3 ((triple3) -> rule1) triple2) -> rule5)) -> rule7))]
("Charlie" "is" "kind" "+")
((triple4 ((((triple3) -> (rule1 % int4)) triple4 triple3) -> (rule2 % int3)) ((triple3 ((triple3) -> (rule1 % int4)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is not kind.
False
12
inv-proof
[(((triple4 ((((triple3) -> rule1) triple4 triple3) -> rule2) ((triple3 ((triple3) -> rule1) triple2) -> rule5)) -> rule7))]
("Charlie" "is" "kind" "-")
((triple4 ((((triple3) -> (rule1 % int4)) triple4 triple3) -> (rule2 % int3)) ((triple3 ((triple3) -> (rule1 % int4)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Eric is not big.
Unknown
inv-rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Eric" "is" "big" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "big" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "nice" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is green.[(triple1)] Charlie is cold.[(triple4)] Charlie is rough.[(triple3)] Charlie is round.[(triple2)] Eric is round.[(triple6)] Eric is young.[(triple5)] Harry is blue.[(triple8)] Harry is cold.[(triple7)] @1: Charlie is young.[(((triple3) -> rule1))] @2: Charlie is big.[(((triple3 ((triple3) -> rule1) triple2) -> rule5))] Charlie is nice.[(((((triple3) -> rule1) triple4 triple3) -> rule2))] @3: Charlie is kind.[(((triple4 ((((triple3) -> rule1) triple4 triple3) -> rule2) ((triple3 ((triple3) -> rule1) triple2) -> rule5)) -> rule7))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
((triple3) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple3 ((triple3) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple3) -> (rule1 % int2)) triple4 triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 ((((triple3) -> (rule1 % int4)) triple4 triple3) -> (rule2 % int3)) ((triple3 ((triple3) -> (rule1 % int4)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Alan ate some rotten meat and now feels green.
Charlie loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
Eric is both young and fairly round in size.
Harry is blue and cold.
People who are rough are young.
A person who is described as young and cold, but also described as rough is nice.
A nice and blue person who's also red will be a rough person.
Young people with red, flushed cheeks who are rough around the edges are really quite nice.
Young,round people tend to be rough and big.
If you ever find someone who's nice, rough, and blue, expect them to also be green.
Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.