Charlie is rough but very kind, he is also red in color and young in age. Gary has a round face and is very nice. Harry is a rough kind of Fellow, but described as a nice and kind Person, even though Harry is red. I've noticed that kind people are also big. Someone can be very nice and kind, and this means they are also green. You can tell if someone is big, kind, and young, then they are also nice. If you are big and young then your are also nice.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is big and kind and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Harry is red.
True
1
proof
[(triple8)]
("Harry" "is" "red" "+")
triple8
Harry is not rough.
False
1
inv-proof
[(triple7)]
("Harry" "is" "rough" "-")
triple7
Harry is big.
True
2
proof
[(((triple10) -> rule1))]
("Harry" "is" "big" "+")
((triple10) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Charlie is not big.
False
2
inv-proof
[(((triple4) -> rule1))]
("Charlie" "is" "big" "-")
((triple4) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
True
4
proof
[(((((triple4) -> rule1) triple1) -> rule4) OR ((((triple4) -> rule1) triple4 triple1) -> rule3))]
("Charlie" "is" "nice" "+")
((((triple4) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple4) -> (rule1 % int2)) triple4 triple1) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not nice.
False
4
inv-proof
[(((((triple4) -> rule1) triple1) -> rule4) OR ((((triple4) -> rule1) triple4 triple1) -> rule3))]
("Charlie" "is" "nice" "-")
((((triple4) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple4) -> (rule1 % int2)) triple4 triple1) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
True
6
proof
[(((((((triple4) -> rule1) triple1) -> rule4) triple4) -> rule2) OR ((((((triple4) -> rule1) triple4 triple1) -> rule3) triple4) -> rule2))]
("Charlie" "is" "green" "+")
((((((triple4) -> (rule1 % int3)) triple1) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple4) -> (rule1 % int3)) triple4 triple1) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not green.
False
6
inv-proof
[(((((((triple4) -> rule1) triple1) -> rule4) triple4) -> rule2) OR ((((((triple4) -> rule1) triple4 triple1) -> rule3) triple4) -> rule2))]
("Charlie" "is" "green" "-")
((((((triple4) -> (rule1 % int3)) triple1) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple4) -> (rule1 % int3)) triple4 triple1) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "green" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Charlie is kind.[(triple4)] Charlie is red.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1)] Gary is nice.[(triple6)] Gary is round.[(triple5)] Harry is kind.[(triple10)] Harry is nice.[(triple9)] Harry is red.[(triple8)] Harry is rough.[(triple7)] @1: Charlie is big.[(((triple4) -> rule1))] Harry is big.[(((triple10) -> rule1))] Harry is green.[(((triple9 triple10) -> rule2))] @2: Charlie is nice.[(((((triple4) -> rule1) triple1) -> rule4) OR ((((triple4) -> rule1) triple4 triple1) -> rule3))] @3: Charlie is green.[(((((((triple4) -> rule1) triple1) -> rule4) triple4) -> rule2) OR ((((((triple4) -> rule1) triple4 triple1) -> rule3) triple4) -> rule2))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Charlie is big.
("Charlie" "is" "big" "+")
((triple4) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple10) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple9 triple10) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple4) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple4) -> (rule1 % int2)) triple4 triple1) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((((triple4) -> (rule1 % int3)) triple1) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple4) -> (rule1 % int3)) triple4 triple1) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough but very kind, he is also red in color and young in age.
Gary has a round face and is very nice.
Harry is a rough kind of Fellow, but described as a nice and kind Person, even though Harry is red.
I've noticed that kind people are also big.
Someone can be very nice and kind, and this means they are also green.
You can tell if someone is big, kind, and young, then they are also nice.
If you are big and young then your are also nice.