When you talk about Bob, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Eric often feels a bit blue and tends to run on the cold side while also being very nice and red. In the snow sits Gary, crying from being cold. Harry was cold as his rough hands clung to the side of the ship, green with nausea. Even through the worst of it he was still kind. All people that are rough and cold, as well as nice will be kind if you talk to them. If you have a big and round shape then you are going to be young, too. Nice people are kind and rough when they are young. If a person is young and very kind then they will be rather big.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is nice and rough and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and big then they are young.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Harry is green.
True
1
proof
[(triple11)]
("Harry" "is" "green" "+")
triple11
Bob is not cold.
False
1
inv-proof
[(triple3)]
("Bob" "is" "cold" "-")
triple3
Bob is kind.
True
4
proof
[(((triple2 triple1 triple3) -> rule1))]
("Bob" "is" "kind" "+")
((triple2 triple1 triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not kind.
False
4
inv-proof
[(((triple2 triple1 triple3) -> rule1))]
("Bob" "is" "kind" "-")
((triple2 triple1 triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
True
7
proof
[(((triple2 ((triple2 triple1 triple3) -> rule1) triple1) -> rule3))]
("Bob" "is" "young" "+")
((triple2 ((triple2 triple1 triple3) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not young.
False
7
inv-proof
[(((triple2 ((triple2 triple1 triple3) -> rule1) triple1) -> rule3))]
("Bob" "is" "young" "-")
((triple2 ((triple2 triple1 triple3) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
True
12
proof
[(((((triple2 ((triple2 triple1 triple3) -> rule1) triple1) -> rule3) ((triple2 triple1 triple3) -> rule1)) -> rule4))]
("Bob" "is" "big" "+")
((((triple2 ((triple2 triple1 triple3) -> (rule1 % int3)) triple1) -> (rule3 % int2)) ((triple2 triple1 triple3) -> (rule1 % int3))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not big.
False
12
inv-proof
[(((((triple2 ((triple2 triple1 triple3) -> rule1) triple1) -> rule3) ((triple2 triple1 triple3) -> rule1)) -> rule4))]
("Bob" "is" "big" "-")
((((triple2 ((triple2 triple1 triple3) -> (rule1 % int3)) triple1) -> (rule3 % int2)) ((triple2 triple1 triple3) -> (rule1 % int3))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Gary is big.
Unknown
rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Gary" "is" "big" "+")
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "kind" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Bob is cold.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is nice.[(triple5)] Eric is red.[(triple4)] Gary is cold.[(triple8)] Harry is cold.[(triple12)] Harry is green.[(triple11)] Harry is kind.[(triple10)] Harry is rough.[(triple9)] @1: Bob is kind.[(((triple2 triple1 triple3) -> rule1))] @2: Bob is young.[(((triple2 ((triple2 triple1 triple3) -> rule1) triple1) -> rule3))] @3: Bob is big.[(((((triple2 ((triple2 triple1 triple3) -> rule1) triple1) -> rule3) ((triple2 triple1 triple3) -> rule1)) -> rule4))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Bob is kind.
("Bob" "is" "kind" "+")
((triple2 triple1 triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple2 ((triple2 triple1 triple3) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((triple2 ((triple2 triple1 triple3) -> (rule1 % int3)) triple1) -> (rule3 % int2)) ((triple2 triple1 triple3) -> (rule1 % int3))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
When you talk about Bob, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
Eric often feels a bit blue and tends to run on the cold side while also being very nice and red.
In the snow sits Gary, crying from being cold.
Harry was cold as his rough hands clung to the side of the ship, green with nausea; Even through the worst of it he was still kind.
All people that are rough and cold, as well as nice will be kind if you talk to them.
If you have a big and round shape then you are going to be young, too.
Nice people are kind and rough when they are young.
If a person is young and very kind then they will be rather big.