You should meet Bob, he is big and rough on the football field but also very young in age. Eric wears all blue. Gary is a rough but very kind and blue person. Harry is young, rough and green, but he turns blue when he is cold like anyone else. People who are blue, cold, and round are often kind. A person who is nice and green with envy is round. A young aged blue person will certainly be nice. When a person is blue, cold, and nice, they are also pretty young too. Anyone you know who is cold and kind must certainly be young. If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is blue and cold and round then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and cold and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and kind then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is green and kind and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Harry is blue.
True
1
proof
[(triple12)]
("Harry" "is" "blue" "+")
triple12
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Harry is nice.
True
3
proof
[(((triple8 triple12) -> rule3))]
("Harry" "is" "nice" "+")
((triple8 triple12) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple8 triple12) -> rule3))]
("Harry" "is" "nice" "-")
((triple8 triple12) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
True
5
proof
[(((((triple8 triple12) -> rule3) triple10) -> rule2))]
("Harry" "is" "round" "+")
((((triple8 triple12) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not round.
False
5
inv-proof
[(((((triple8 triple12) -> rule3) triple10) -> rule2))]
("Harry" "is" "round" "-")
((((triple8 triple12) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
True
8
proof
[(((triple12 triple11 ((((triple8 triple12) -> rule3) triple10) -> rule2)) -> rule1))]
("Harry" "is" "kind" "+")
((triple12 triple11 ((((triple8 triple12) -> (rule3 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not kind.
False
8
inv-proof
[(((triple12 triple11 ((((triple8 triple12) -> rule3) triple10) -> rule2)) -> rule1))]
("Harry" "is" "kind" "-")
((triple12 triple11 ((((triple8 triple12) -> (rule3 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "+")
Eric is not nice.
Unknown
inv-rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Eric" "is" "nice" "-")
Gary is nice.
Unknown
rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Gary" "is" "nice" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is big.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Eric is blue.[(triple4)] Gary is blue.[(triple7)] Gary is kind.[(triple6)] Gary is rough.[(triple5)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10)] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Harry is nice.[(((triple8 triple12) -> rule3))] @2: Harry is round.[(((((triple8 triple12) -> rule3) triple10) -> rule2))] @3: Harry is kind.[(((triple12 triple11 ((((triple8 triple12) -> rule3) triple10) -> rule2)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
((triple8 triple12) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple8 triple12) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple12 triple11 ((((triple8 triple12) -> (rule3 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
You should meet Bob, he is big and rough on the football field but also very young in age.
Eric wears all blue.
Gary is a rough but very kind and blue person.
Harry is young, rough and green, but he turns blue when he is cold like anyone else.
People who are blue, cold, and round are often kind.
A person who is nice and green with envy is round.
A young aged blue person will certainly be nice.
When a person is blue, cold, and nice, they are also pretty young too.
Anyone you know who is cold and kind must certainly be young.
If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years.