You should meet Alan, he is big and rough on the football field but also very young in age. Big Bob is nice but also rough. Having a round body that is very big makes Charlie a kind hearted person that often feels green. Others enjoy Eric's company because he is so nice and kind. A person with a rough quality is also a person with a blue quality. A big, young human being is sure to also be a green human being. A big, nice, blue person is likely to be young. People who are round and young are also quite nice. Nice people who are kind, despite their rough skin, are big hearted.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
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 young and round then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Bob is big.
True
1
proof
[(triple6)]
("Bob" "is" "big" "+")
triple6
Bob is not big.
False
1
inv-proof
[(triple6)]
("Bob" "is" "big" "-")
triple6
Bob is blue.
True
2
proof
[(((triple4) -> rule1))]
("Bob" "is" "blue" "+")
((triple4) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple4) -> rule1))]
("Bob" "is" "blue" "-")
((triple4) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
True
5
proof
[(((triple6 triple5 ((triple4) -> rule1)) -> rule3))]
("Bob" "is" "young" "+")
((triple6 triple5 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not young.
False
5
inv-proof
[(((triple6 triple5 ((triple4) -> rule1)) -> rule3))]
("Bob" "is" "young" "-")
((triple6 triple5 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
True
7
proof
[(((triple6 ((triple6 triple5 ((triple4) -> rule1)) -> rule3)) -> rule2))]
("Bob" "is" "green" "+")
((triple6 ((triple6 triple5 ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not green.
False
7
inv-proof
[(((triple6 ((triple6 triple5 ((triple4) -> rule1)) -> rule3)) -> rule2))]
("Bob" "is" "green" "-")
((triple6 ((triple6 triple5 ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Eric is not green.
Unknown
inv-rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Eric" "is" "green" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not young.
Unknown
inv-rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Charlie" "is" "young" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "blue" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Alan is big.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple6)] Bob is nice.[(triple5)] Bob is rough.[(triple4)] Charlie is big.[(triple10)] Charlie is green.[(triple9)] Charlie is kind.[(triple8)] Charlie is round.[(triple7)] Eric is kind.[(triple12)] Eric is nice.[(triple11)] @1: Alan is blue.[(((triple2) -> rule1))] Alan is green.[(((triple3 triple1) -> rule2))] Bob is blue.[(((triple4) -> rule1))] @2: Bob is young.[(((triple6 triple5 ((triple4) -> rule1)) -> rule3))] @3: Bob is green.[(((triple6 ((triple6 triple5 ((triple4) -> rule1)) -> rule3)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple10
Charlie is green.
("Charlie" "is" "green" "+")
triple9
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple12
Eric is nice.
("Eric" "is" "nice" "+")
triple11
Alan is blue.
("Alan" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((triple3 triple1) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple4) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple6 triple5 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple6 ((triple6 triple5 ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
You should meet Alan, he is big and rough on the football field but also very young in age.
Big Bob is nice but also rough.
Having a round body that is very big makes Charlie a kind hearted person that often feels green.
Others enjoy Eric's company because he is so nice and kind.
A person with a rough quality is also a person with a blue quality.
A big, young human being is sure to also be a green human being.
A big, nice, blue person is likely to be young.
People who are round and young are also quite nice.
Nice people who are kind, despite their rough skin, are big hearted.