Alan, who is a very nice man, is also quite round in shape. He found himself quite blue from being made fun of him, but that also made his face red with anger. Others enjoy Charlie's company because he is so nice and kind. Dave is a nice round guy, which leads to him being red. Fred is both big and round, with blue features. If a red person is cold and kind to others, they also tend to be blue. I've noticed that kind people are also big. A nice and blue person who's also red will be a rough person. I've been told that big, nice people are very rough. Kind people who are also rough are young.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is cold and kind and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
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 big and nice then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and kind then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Alan is blue.
True
1
proof
[(triple4)]
("Alan" "is" "blue" "+")
triple4
Alan is not round.
False
1
inv-proof
[(triple1)]
("Alan" "is" "round" "-")
triple1
Alan is rough.
True
4
proof
[(((triple4 triple3 triple2) -> rule3))]
("Alan" "is" "rough" "+")
((triple4 triple3 triple2) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Charlie is not big.
False
2
inv-proof
[(((triple6) -> rule2))]
("Charlie" "is" "big" "-")
((triple6) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
True
4
proof
[(((((triple6) -> rule2) triple5) -> rule4))]
("Charlie" "is" "rough" "+")
((((triple6) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not rough.
False
4
inv-proof
[(((((triple6) -> rule2) triple5) -> rule4))]
("Charlie" "is" "rough" "-")
((((triple6) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
True
6
proof
[(((((((triple6) -> rule2) triple5) -> rule4) triple6) -> rule5))]
("Charlie" "is" "young" "+")
((((((triple6) -> (rule2 % int3)) triple5) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not young.
False
6
inv-proof
[(((((((triple6) -> rule2) triple5) -> rule4) triple6) -> rule5))]
("Charlie" "is" "young" "-")
((((((triple6) -> (rule2 % int3)) triple5) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "young" "+")
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "young" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
@0: Alan is blue.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5)] Dave is nice.[(triple9)] Dave is red.[(triple8)] Dave is round.[(triple7)] Fred is big.[(triple12)] Fred is blue.[(triple11)] Fred is round.[(triple10)] @1: Alan is rough.[(((triple4 triple3 triple2) -> rule3))] Charlie is big.[(((triple6) -> rule2))] @2: Charlie is rough.[(((((triple6) -> rule2) triple5) -> rule4))] @3: Charlie is young.[(((((((triple6) -> rule2) triple5) -> rule4) triple6) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is round.
("Fred" "is" "round" "+")
triple10
Alan is rough.
("Alan" "is" "rough" "+")
((triple4 triple3 triple2) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple6) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple6) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((((triple6) -> (rule2 % int3)) triple5) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Alan, who is a very nice man, is also quite round in shape; He found himself quite blue from being made fun of him, but that also made his face red with anger.
Others enjoy Charlie's company because he is so nice and kind.
Dave is a nice round guy, which leads to him being red.
Fred is both big and round, with blue features.
If a red person is cold and kind to others, they also tend to be blue.
I've noticed that kind people are also big.
A nice and blue person who's also red will be a rough person.
I've been told that big, nice people are very rough.
Kind people who are also rough are young.