Bob looks big and is kind with red hair and green shoes. Gary is big and rough looking but is very nice and kind. In the snow sits Harry, crying from being cold. A person with rough skin who has been standing in the cold will turn red. People feeling green and blue are somewhat nice. Being big and kind like a gentle giant can make anyone blue. It's just a fact that a blue person is a kind person. Big people that tend to be nice and blue, may also be a little rough to others. Anybody that is rough, cold and nice will be round at the same time.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is cold and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is green and blue then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and kind then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and nice and blue then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and cold and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Gary is kind.
True
1
proof
[(triple7)]
("Gary" "is" "kind" "+")
triple7
Gary is not big.
False
1
inv-proof
[(triple8)]
("Gary" "is" "big" "-")
triple8
Bob is blue.
True
3
proof
[(((triple4 triple2) -> rule3))]
("Bob" "is" "blue" "+")
((triple4 triple2) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple4 triple2) -> rule3))]
("Bob" "is" "blue" "-")
((triple4 triple2) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
True
5
proof
[(((triple3 ((triple4 triple2) -> rule3)) -> rule2))]
("Bob" "is" "nice" "+")
((triple3 ((triple4 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not nice.
False
5
inv-proof
[(((triple3 ((triple4 triple2) -> rule3)) -> rule2))]
("Bob" "is" "nice" "-")
((triple3 ((triple4 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
True
10
proof
[(((triple4 ((triple3 ((triple4 triple2) -> rule3)) -> rule2) ((triple4 triple2) -> rule3)) -> rule5))]
("Bob" "is" "rough" "+")
((triple4 ((triple3 ((triple4 triple2) -> (rule3 % int3))) -> (rule2 % int2)) ((triple4 triple2) -> (rule3 % int3))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not rough.
False
10
inv-proof
[(((triple4 ((triple3 ((triple4 triple2) -> rule3)) -> rule2) ((triple4 triple2) -> rule3)) -> rule5))]
("Bob" "is" "rough" "-")
((triple4 ((triple3 ((triple4 triple2) -> (rule3 % int3))) -> (rule2 % int2)) ((triple4 triple2) -> (rule3 % int3))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "round" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "nice" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "round" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is big.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Gary is big.[(triple8)] Gary is kind.[(triple7)] Gary is nice.[(triple6)] Gary is rough.[(triple5 OR ((triple8 triple6 ((triple8 triple7) -> rule3)) -> rule5))] Harry is cold.[(triple9)] @1: Bob is blue.[(((triple4 triple2) -> rule3))] Gary is blue.[(((triple8 triple7) -> rule3))] @2: Bob is nice.[(((triple3 ((triple4 triple2) -> rule3)) -> rule2))] @3: Bob is rough.[(((triple4 ((triple3 ((triple4 triple2) -> rule3)) -> rule2) ((triple4 triple2) -> rule3)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
((triple8 triple6 ((triple8 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Bob is blue.
("Bob" "is" "blue" "+")
((triple4 triple2) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple8 triple7) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 ((triple4 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple4 ((triple3 ((triple4 triple2) -> (rule3 % int3))) -> (rule2 % int2)) ((triple4 triple2) -> (rule3 % int3))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob looks big and is kind with red hair and green shoes.
Gary is big and rough looking but is very nice and kind.
In the snow sits Harry, crying from being cold.
A person with rough skin who has been standing in the cold will turn red.
People feeling green and blue are somewhat nice.
Being big and kind like a gentle giant can make anyone blue.
It's just a fact that a blue person is a kind person.
Big people that tend to be nice and blue, may also be a little rough to others.
Anybody that is rough, cold and nice will be round at the same time.