Alan always goes out of his way to show that he is kind to people. Bob was born only a few years ago so he is young. Charlie is too young to be so big. Some say he is too green to be so blue as well. Gary is a cold young man. He is prone the being blue with sadness because he is green with envy. Cold people,though green and red,tend to be rough. A kind and green person who is rough around the edges is cold. A big person in size will definitely be rough. Someone big and rough in shape is always kind. Among the green people who are young, the color blue is always part of them. A big, nice, blue person is likely to be young. A person with the qualities of being cold and being red will also be a person that is green.
Alan is kind.
("Alan" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is cold and green and red then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and nice and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Alan is kind.
True
1
proof
[(triple1)]
("Alan" "is" "kind" "+")
triple1
Charlie is not green.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "green" "-")
triple4
Charlie is rough.
True
2
proof
[(((triple6) -> rule3))]
("Charlie" "is" "rough" "+")
((triple6) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple6) -> rule3))]
("Charlie" "is" "rough" "-")
((triple6) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
True
4
proof
[(((triple6 ((triple6) -> rule3)) -> rule4))]
("Charlie" "is" "kind" "+")
((triple6 ((triple6) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not kind.
False
4
inv-proof
[(((triple6 ((triple6) -> rule3)) -> rule4))]
("Charlie" "is" "kind" "-")
((triple6 ((triple6) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
True
8
proof
[(((triple4 ((triple6) -> rule3) ((triple6 ((triple6) -> rule3)) -> rule4)) -> rule2))]
("Charlie" "is" "cold" "+")
((triple4 ((triple6) -> (rule3 % int3)) ((triple6 ((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not cold.
False
8
inv-proof
[(((triple4 ((triple6) -> rule3) ((triple6 ((triple6) -> rule3)) -> rule4)) -> rule2))]
("Charlie" "is" "cold" "-")
((triple4 ((triple6) -> (rule3 % int3)) ((triple6 ((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Alan is not cold.
Unknown
inv-rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Alan" "is" "cold" "-")
Bob is blue.
Unknown
rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Bob" "is" "blue" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "green" "-")
Alan is blue.
Unknown
rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Alan" "is" "blue" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is kind.[(triple1)] Bob is young.[(triple2)] Charlie is big.[(triple6)] Charlie is blue.[(triple5 OR ((triple4 triple3) -> rule5))] Charlie is green.[(triple4)] Charlie is young.[(triple3)] Gary is blue.[(triple10 OR ((triple8 triple7) -> rule5))] Gary is cold.[(triple9)] Gary is green.[(triple8)] Gary is young.[(triple7)] @1: Charlie is rough.[(((triple6) -> rule3))] @2: Charlie is kind.[(((triple6 ((triple6) -> rule3)) -> rule4))] @3: Charlie is cold.[(((triple4 ((triple6) -> rule3) ((triple6 ((triple6) -> rule3)) -> rule4)) -> rule2))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
((triple4 triple3) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple10
((triple8 triple7) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple6) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple6 ((triple6) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4 ((triple6) -> (rule3 % int3)) ((triple6 ((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Alan always goes out of his way to show that he is kind to people.
Bob was born only a few years ago so he is young.
Charlie is too young to be so big; Some say he is too green to be so blue as well.
Gary is a cold young man; He is prone the being blue with sadness because he is green with envy.
Cold people,though green and red,tend to be rough.
A kind and green person who is rough around the edges is cold.
A big person in size will definitely be rough.
Someone big and rough in shape is always kind.
Among the green people who are young, the color blue is always part of them.
A big, nice, blue person is likely to be young.
A person with the qualities of being cold and being red will also be a person that is green.