Alan is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Even though he's a big dude, Charlie is cold. Gary is so young and darling he is kind to all the old people on the block. A rough and kind person is big. Young people that are blue will still be kind because they are rough to the touch. A rough and round person is also a big person. A person with a rough quality is also a person with a blue quality. Rough, round persons are also nice persons. Kind people, for example, like the ones at the bank are always blue.
If someone is kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and young and kind then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Charlie is big.
True
1
proof
[(triple5)]
("Charlie" "is" "big" "+")
triple5
Charlie is not big.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "big" "-")
triple5
Gary is blue.
True
2
proof
[(((triple7) -> rule6))]
("Gary" "is" "blue" "+")
((triple7) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple7) -> rule6))]
("Gary" "is" "blue" "-")
((triple7) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
True
5
proof
[(((((triple7) -> rule6) triple6 triple7) -> rule2))]
("Gary" "is" "rough" "+")
((((triple7) -> (rule6 % int2)) triple6 triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not rough.
False
5
inv-proof
[(((((triple7) -> rule6) triple6 triple7) -> rule2))]
("Gary" "is" "rough" "-")
((((triple7) -> (rule6 % int2)) triple6 triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
True
7
proof
[(((triple7 ((((triple7) -> rule6) triple6 triple7) -> rule2)) -> rule1))]
("Gary" "is" "big" "+")
((triple7 ((((triple7) -> (rule6 % int3)) triple6 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not big.
False
7
inv-proof
[(((triple7 ((((triple7) -> rule6) triple6 triple7) -> rule2)) -> rule1))]
("Gary" "is" "big" "-")
((triple7 ((((triple7) -> (rule6 % int3)) triple6 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "rough" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple5)] Charlie is cold.[(triple4)] Gary is kind.[(triple7)] Gary is young.[(triple6)] @1: Gary is blue.[(((triple7) -> rule6))] @2: Gary is rough.[(((((triple7) -> rule6) triple6 triple7) -> rule2))] @3: Gary is big.[(((triple7 ((((triple7) -> rule6) triple6 triple7) -> rule2)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
((triple7) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((((triple7) -> (rule6 % int2)) triple6 triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple7 ((((triple7) -> (rule6 % int3)) triple6 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Alan is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
Even though he's a big dude, Charlie is cold.
Gary is so young and darling he is kind to all the old people on the block.
A rough and kind person is big.
Young people that are blue will still be kind because they are rough to the touch.
A rough and round person is also a big person.
A person with a rough quality is also a person with a blue quality.
Rough, round persons are also nice persons.
Kind people, for example, like the ones at the bank are always blue.