Most people see Charlie as round, albeit nice and big at the same time. I was surprised at how green and blue young, round Dave is. Gary was born only a few years ago so he is young. Harry ate some rotten meat and now feels green. Big, kind people that are rough are known for being red. I've been told that big, nice people are very rough. Everyone who manages to be both rough and round are also kind. People who are round and young are also quite nice. Kind people, for example, like the ones at the bank are always blue.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is big and kind and rough then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is big and nice then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and round then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Charlie is nice.
True
1
proof
[(triple2)]
("Charlie" "is" "nice" "+")
triple2
Charlie is not round.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "round" "-")
triple1
Charlie is rough.
True
3
proof
[(((triple3 triple2) -> rule2))]
("Charlie" "is" "rough" "+")
((triple3 triple2) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple4 triple5) -> rule4))]
("Dave" "is" "nice" "-")
((triple4 triple5) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Charlie is kind.
True
5
proof
[(((((triple3 triple2) -> rule2) triple1) -> rule3))]
("Charlie" "is" "kind" "+")
((((triple3 triple2) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not kind.
False
5
inv-proof
[(((((triple3 triple2) -> rule2) triple1) -> rule3))]
("Charlie" "is" "kind" "-")
((((triple3 triple2) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
True
6
proof
[(((((((triple3 triple2) -> rule2) triple1) -> rule3)) -> rule5))]
("Charlie" "is" "blue" "+")
((((((triple3 triple2) -> (rule2 % int3)) triple1) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not blue.
False
6
inv-proof
[(((((((triple3 triple2) -> rule2) triple1) -> rule3)) -> rule5))]
("Charlie" "is" "blue" "-")
((((((triple3 triple2) -> (rule2 % int3)) triple1) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "rough" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Charlie is big.[(triple3)] Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Dave is blue.[(triple7)] Dave is green.[(triple6)] Dave is round.[(triple5)] Dave is young.[(triple4)] Gary is young.[(triple8)] Harry is green.[(triple9)] @1: Charlie is rough.[(((triple3 triple2) -> rule2))] Dave is nice.[(((triple4 triple5) -> rule4))] @2: Charlie is kind.[(((((triple3 triple2) -> rule2) triple1) -> rule3))] @3: Charlie is blue.[(((((((triple3 triple2) -> rule2) triple1) -> rule3)) -> rule5))] Charlie is red.[(((triple3 ((((triple3 triple2) -> rule2) triple1) -> rule3) ((triple3 triple2) -> rule2)) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3 triple2) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple4 triple5) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple3 triple2) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((((triple3 triple2) -> (rule2 % int3)) triple1) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((triple3 ((((triple3 triple2) -> (rule2 % int3)) triple1) -> (rule3 % int2)) ((triple3 triple2) -> (rule2 % int3))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Most people see Charlie as round, albeit nice and big at the same time.
I was surprised at how green and blue young, round Dave is.
Gary was born only a few years ago so he is young.
Harry ate some rotten meat and now feels green.
Big, kind people that are rough are known for being red.
I've been told that big, nice people are very rough.
Everyone who manages to be both rough and round are also kind.
People who are round and young are also quite nice.
Kind people, for example, like the ones at the bank are always blue.