Dave is big and red, but he's young and will grow out of it. Eric is a man who is both round and rough. Harry is a kind and red colored guy. A very kind and green colored person, who is also cold, will be nice. I have found that if someone is kind and red, that they are quite often nice. A kind red person is also a blue person. Round, rough people blue with sadness turn out to be green. If a kind, red person is also feeling blue then he will be cold to outsiders. Someone might be red but blue from the cold dressing in green. A human being described as rough, nice and round will also fit the description of being cold.
If someone is kind and green and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and red then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and round and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and red and blue then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and blue and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and round and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Eric is round.
True
1
proof
[(triple4)]
("Eric" "is" "round" "+")
triple4
Harry is not kind.
False
1
inv-proof
[(triple7)]
("Harry" "is" "kind" "-")
triple7
Harry is blue.
True
3
proof
[(((triple7 triple6) -> rule3))]
("Harry" "is" "blue" "+")
((triple7 triple6) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple7 triple6) -> rule3))]
("Harry" "is" "blue" "-")
((triple7 triple6) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
True
6
proof
[(((triple7 triple6 ((triple7 triple6) -> rule3)) -> rule5))]
("Harry" "is" "cold" "+")
((triple7 triple6 ((triple7 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not cold.
False
6
inv-proof
[(((triple7 triple6 ((triple7 triple6) -> rule3)) -> rule5))]
("Harry" "is" "cold" "-")
((triple7 triple6 ((triple7 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
True
11
proof
[(((((triple7 triple6 ((triple7 triple6) -> rule3)) -> rule5) ((triple7 triple6) -> rule3) triple6) -> rule6))]
("Harry" "is" "green" "+")
((((triple7 triple6 ((triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) ((triple7 triple6) -> (rule3 % int3)) triple6) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not green.
False
11
inv-proof
[(((((triple7 triple6 ((triple7 triple6) -> rule3)) -> rule5) ((triple7 triple6) -> rule3) triple6) -> rule6))]
("Harry" "is" "green" "-")
((((triple7 triple6 ((triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) ((triple7 triple6) -> (rule3 % int3)) triple6) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "cold" "-")
Eric is green.
Unknown
rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Eric" "is" "green" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "-")
Dave is green.
Unknown
rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Dave" "is" "green" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Dave is big.[(triple3)] Dave is red.[(triple2)] Dave is young.[(triple1)] Eric is rough.[(triple5)] Eric is round.[(triple4)] Harry is kind.[(triple7)] Harry is red.[(triple6)] @1: Harry is blue.[(((triple7 triple6) -> rule3))] Harry is nice.[(((triple7 triple6) -> rule2) OR ((triple7 ((((triple7 triple6 ((triple7 triple6) -> rule3)) -> rule5) ((triple7 triple6) -> rule3) triple6) -> rule6) ((triple7 triple6 ((triple7 triple6) -> rule3)) -> rule5)) -> rule1))] @2: Harry is cold.[(((triple7 triple6 ((triple7 triple6) -> rule3)) -> rule5))] @3: Harry is green.[(((((triple7 triple6 ((triple7 triple6) -> rule3)) -> rule5) ((triple7 triple6) -> rule3) triple6) -> rule6))]
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
((triple7 triple6) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple7 triple6) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple7 ((((triple7 triple6 ((triple7 triple6) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7 triple6) -> (rule3 % int4)) triple6) -> (rule6 % int2)) ((triple7 triple6 ((triple7 triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
((triple7 triple6 ((triple7 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple7 triple6 ((triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) ((triple7 triple6) -> (rule3 % int3)) triple6) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Dave is big and red, but he's young and will grow out of it.
Eric is a man who is both round and rough.
Harry is a kind and red colored guy.
A very kind and green colored person, who is also cold, will be nice.
I have found that if someone is kind and red, that they are quite often nice.
A kind red person is also a blue person.
Round, rough people blue with sadness turn out to be green.
If a kind, red person is also feeling blue then he will be cold to outsiders.
Someone might be red but blue from the cold dressing in green.
A human being described as rough, nice and round will also fit the description of being cold.