Bob is red when he is rough and blue when he is kind. Young Eric is wearing green pants. Gary is blue from ink he spilled on himself while being kind and helping some children paint. Harry is young but big for his age and he's cold and red at the moment too. Someone can be very nice and kind, and this means they are also green. Big, kind people are nice. Most of the people that are big and nice with green eyes, will be round. A person with big hair and rough lips is certainly young and jaded. Big, red things tend to have a kind spirit to them. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and nice and green then they are round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and nice and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Bob is rough.
True
1
proof
[(triple1)]
("Bob" "is" "rough" "+")
triple1
Bob is not rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Harry is kind.
True
3
proof
[(((triple10 triple12) -> rule5))]
("Harry" "is" "kind" "+")
((triple10 triple12) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple10 triple12) -> rule5))]
("Harry" "is" "kind" "-")
((triple10 triple12) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
True
5
proof
[(((((triple10 triple12) -> rule5) triple12) -> rule2))]
("Harry" "is" "nice" "+")
((((triple10 triple12) -> (rule5 % int2)) triple12) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not nice.
False
5
inv-proof
[(((((triple10 triple12) -> rule5) triple12) -> rule2))]
("Harry" "is" "nice" "-")
((((triple10 triple12) -> (rule5 % int2)) triple12) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
True
9
proof
[(((((((triple10 triple12) -> rule5) triple12) -> rule2) ((triple10 triple12) -> rule5)) -> rule1))]
("Harry" "is" "green" "+")
((((((triple10 triple12) -> (rule5 % int3)) triple12) -> (rule2 % int2)) ((triple10 triple12) -> (rule5 % int3))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not green.
False
9
inv-proof
[(((((((triple10 triple12) -> rule5) triple12) -> rule2) ((triple10 triple12) -> rule5)) -> rule1))]
("Harry" "is" "green" "-")
((((((triple10 triple12) -> (rule5 % int3)) triple12) -> (rule2 % int2)) ((triple10 triple12) -> (rule5 % int3))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
True
16
proof
[(((triple12 ((((triple10 triple12) -> rule5) triple12) -> rule2) ((((((triple10 triple12) -> rule5) triple12) -> rule2) ((triple10 triple12) -> rule5)) -> rule1)) -> rule3))]
("Harry" "is" "round" "+")
((triple12 ((((triple10 triple12) -> (rule5 % int4)) triple12) -> (rule2 % int3)) ((((((triple10 triple12) -> (rule5 % int4)) triple12) -> (rule2 % int3)) ((triple10 triple12) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is not round.
False
16
inv-proof
[(((triple12 ((((triple10 triple12) -> rule5) triple12) -> rule2) ((((((triple10 triple12) -> rule5) triple12) -> rule2) ((triple10 triple12) -> rule5)) -> rule1)) -> rule3))]
("Harry" "is" "round" "-")
((triple12 ((((triple10 triple12) -> (rule5 % int4)) triple12) -> (rule2 % int3)) ((((((triple10 triple12) -> (rule5 % int4)) triple12) -> (rule2 % int3)) ((triple10 triple12) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "round" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "nice" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "young" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Bob is blue.[(triple4)] Bob is kind.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Eric is green.[(triple6)] Eric is young.[(triple5)] Gary is blue.[(triple8)] Gary is kind.[(triple7)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is red.[(triple10)] Harry is young.[(triple9)] @1: Harry is kind.[(((triple10 triple12) -> rule5))] @2: Harry is nice.[(((((triple10 triple12) -> rule5) triple12) -> rule2))] @3: Harry is green.[(((((((triple10 triple12) -> rule5) triple12) -> rule2) ((triple10 triple12) -> rule5)) -> rule1))] @4: Harry is round.[(((triple12 ((((triple10 triple12) -> rule5) triple12) -> rule2) ((((((triple10 triple12) -> rule5) triple12) -> rule2) ((triple10 triple12) -> rule5)) -> rule1)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
((triple10 triple12) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((((triple10 triple12) -> (rule5 % int2)) triple12) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((((triple10 triple12) -> (rule5 % int3)) triple12) -> (rule2 % int2)) ((triple10 triple12) -> (rule5 % int3))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((triple12 ((((triple10 triple12) -> (rule5 % int4)) triple12) -> (rule2 % int3)) ((((((triple10 triple12) -> (rule5 % int4)) triple12) -> (rule2 % int3)) ((triple10 triple12) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Bob is red when he is rough and blue when he is kind.
Young Eric is wearing green pants.
Gary is blue from ink he spilled on himself while being kind and helping some children paint.
Harry is young but big for his age and he's cold and red at the moment too.
Someone can be very nice and kind, and this means they are also green.
Big, kind people are nice.
Most of the people that are big and nice with green eyes, will be round.
A person with big hair and rough lips is certainly young and jaded.
Big, red things tend to have a kind spirit to them.
Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.