Alan looks red to most people, with blue features. Due to the fact that Bob is young, he is red and green. He remains kind nevertheless. In the snow sits Gary, crying from being cold. Harry is blue from ink he spilled on himself while being kind and helping some children paint. A kind person that is also red and rough is usually also nice. Cold people,though green and red,tend to be rough. I know anyone I meet who is big, nice, and round will be young. People that feel green are cold to people that try to help them. A green colored and rough person will be quite kind.
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and red and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
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 big and nice and round then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and rough then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Alan is red.
True
1
proof
[(triple1)]
("Alan" "is" "red" "+")
triple1
Bob is not green.
False
1
inv-proof
[(triple6)]
("Bob" "is" "green" "-")
triple6
Bob is cold.
True
2
proof
[(((triple6) -> rule4))]
("Bob" "is" "cold" "+")
((triple6) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple6) -> rule4))]
("Bob" "is" "cold" "-")
((triple6) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
True
5
proof
[(((((triple6) -> rule4) triple6 triple4) -> rule2))]
("Bob" "is" "rough" "+")
((((triple6) -> (rule4 % int2)) triple6 triple4) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not rough.
False
5
inv-proof
[(((((triple6) -> rule4) triple6 triple4) -> rule2))]
("Bob" "is" "rough" "-")
((((triple6) -> (rule4 % int2)) triple6 triple4) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
True
8
proof
[(((((((triple6) -> rule4) triple6 triple4) -> rule2) triple4 triple5) -> rule1) OR ((((((triple6) -> rule4) triple6 triple4) -> rule2) triple4 ((triple6 ((((triple6) -> rule4) triple6 triple4) -> rule2)) -> rule5)) -> rule1))]
("Bob" "is" "nice" "+")
((((((triple6) -> (rule4 % int3)) triple6 triple4) -> (rule2 % int2)) triple4 triple5) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple6) -> (rule4 % int4)) triple6 triple4) -> (rule2 % int3)) triple4 ((triple6 ((((triple6) -> (rule4 % int4)) triple6 triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is not nice.
False
8
inv-proof
[(((((((triple6) -> rule4) triple6 triple4) -> rule2) triple4 triple5) -> rule1) OR ((((((triple6) -> rule4) triple6 triple4) -> rule2) triple4 ((triple6 ((((triple6) -> rule4) triple6 triple4) -> rule2)) -> rule5)) -> rule1))]
("Bob" "is" "nice" "-")
((((((triple6) -> (rule4 % int3)) triple6 triple4) -> (rule2 % int2)) triple4 triple5) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple6) -> (rule4 % int4)) triple6 triple4) -> (rule2 % int3)) triple4 ((triple6 ((((triple6) -> (rule4 % int4)) triple6 triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "+")
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "kind" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Alan is blue.[(triple2)] Alan is red.[(triple1)] Bob is green.[(triple6)] Bob is kind.[(triple5 OR ((triple6 ((((triple6) -> rule4) triple6 triple4) -> rule2)) -> rule5))] Bob is red.[(triple4)] Bob is young.[(triple3)] Gary is cold.[(triple7)] Harry is blue.[(triple9)] Harry is kind.[(triple8)] @1: Bob is cold.[(((triple6) -> rule4))] @2: Bob is rough.[(((((triple6) -> rule4) triple6 triple4) -> rule2))] @3: Bob is nice.[(((((((triple6) -> rule4) triple6 triple4) -> rule2) triple4 triple5) -> rule1) OR ((((((triple6) -> rule4) triple6 triple4) -> rule2) triple4 ((triple6 ((((triple6) -> rule4) triple6 triple4) -> rule2)) -> rule5)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
((triple6 ((((triple6) -> (rule4 % int3)) triple6 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
((triple6) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple6) -> (rule4 % int2)) triple6 triple4) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple6) -> (rule4 % int3)) triple6 triple4) -> (rule2 % int2)) triple4 triple5) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple6) -> (rule4 % int4)) triple6 triple4) -> (rule2 % int3)) triple4 ((triple6 ((((triple6) -> (rule4 % int4)) triple6 triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Alan looks red to most people, with blue features.
Due to the fact that Bob is young, he is red and green; He remains kind nevertheless.
In the snow sits Gary, crying from being cold.
Harry is blue from ink he spilled on himself while being kind and helping some children paint.
A kind person that is also red and rough is usually also nice.
Cold people,though green and red,tend to be rough.
I know anyone I meet who is big, nice, and round will be young.
People that feel green are cold to people that try to help them.
A green colored and rough person will be quite kind.