I know Charlie really well and you can say he is rough on the outside, cold on the inside and red all of the time. Being so young, Dave is rough during play, even though he is nice. He is big for his age and has blue eyes. They always call him rough Gary. Someone who looks rough and feels cold is also kind to others. A green and red colored person who is rather nice will definitely be kind. Anyone you find who happens to be kind and blue will also be very nice. Big, round, red people are always so young. Kind people who are blue with sadness and cold toward others are surprisingly red. Big people that are also rough, are ultimately round. Kind people, for example, like the ones at the bank are always blue.
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and nice and red then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and round and red then they are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and kind and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big and rough then they are round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Charlie is cold.
True
1
proof
[(triple3)]
("Charlie" "is" "cold" "+")
triple3
Dave is not young.
False
1
inv-proof
[(triple4)]
("Dave" "is" "young" "-")
triple4
Dave is round.
True
3
proof
[(((triple8 triple5) -> rule6))]
("Dave" "is" "round" "+")
((triple8 triple5) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
3
inv-proof
[(((triple8 triple5) -> rule6))]
("Dave" "is" "round" "-")
((triple8 triple5) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Charlie is blue.
True
4
proof
[(((((triple1 triple3) -> rule1)) -> rule7))]
("Charlie" "is" "blue" "+")
((((triple1 triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not blue.
False
4
inv-proof
[(((((triple1 triple3) -> rule1)) -> rule7))]
("Charlie" "is" "blue" "-")
((((triple1 triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
True
8
proof
[(((((triple1 triple3) -> rule1) ((((triple1 triple3) -> rule1)) -> rule7)) -> rule3))]
("Charlie" "is" "nice" "+")
((((triple1 triple3) -> (rule1 % int3)) ((((triple1 triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not nice.
False
8
inv-proof
[(((((triple1 triple3) -> rule1) ((((triple1 triple3) -> rule1)) -> rule7)) -> rule3))]
("Charlie" "is" "nice" "-")
((((triple1 triple3) -> (rule1 % int3)) ((((triple1 triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Harry is blue.
Unknown
rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Harry" "is" "blue" "+")
Gary is not nice.
Unknown
inv-rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "red" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is cold.[(triple3)] Charlie is red.[(triple2 OR ((triple3 ((triple1 triple3) -> rule1) ((((triple1 triple3) -> rule1)) -> rule7)) -> rule5))] Charlie is rough.[(triple1)] Dave is big.[(triple8)] Dave is blue.[(triple7)] Dave is nice.[(triple6)] Dave is rough.[(triple5)] Dave is young.[(triple4)] Gary is rough.[(triple9)] @1: Charlie is kind.[(((triple1 triple3) -> rule1))] Dave is round.[(((triple8 triple5) -> rule6))] @2: Charlie is blue.[(((((triple1 triple3) -> rule1)) -> rule7))] @3: Charlie is nice.[(((((triple1 triple3) -> rule1) ((((triple1 triple3) -> rule1)) -> rule7)) -> rule3))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
((triple3 ((triple1 triple3) -> (rule1 % int3)) ((((triple1 triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1 triple3) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple8 triple5) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple1 triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple1 triple3) -> (rule1 % int3)) ((((triple1 triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
I know Charlie really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Being so young, Dave is rough during play, even though he is nice; He is big for his age and has blue eyes.
They always call him rough Gary.
Someone who looks rough and feels cold is also kind to others.
A green and red colored person who is rather nice will definitely be kind.
Anyone you find who happens to be kind and blue will also be very nice.
Big, round, red people are always so young.
Kind people who are blue with sadness and cold toward others are surprisingly red.
Big people that are also rough, are ultimately round.
Kind people, for example, like the ones at the bank are always blue.