Young Bob is a round fellow: sometimes nice, sometimes rough. Even though Eric feels blue because of how round he is, he is still nice and kind to people that talk to him. That man standing next to you with a big round body goes by the name of Fred. All people that are rough and cold, as well as nice will be kind if you talk to them. Rough and kind people are big. Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner. Young and nice people are ultimately cold. Big people that tend to be nice and blue, may also be a little rough to others.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is big.
("Fred" "is" "big" "+")
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 rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is young and big and blue then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and nice and blue then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Bob is rough.
True
1
proof
[(triple3)]
("Bob" "is" "rough" "+")
triple3
Bob is not rough.
False
1
inv-proof
[(triple3)]
("Bob" "is" "rough" "-")
triple3
Bob is cold.
True
3
proof
[(((triple1 triple4) -> rule4))]
("Bob" "is" "cold" "+")
((triple1 triple4) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple1 triple4) -> rule4))]
("Bob" "is" "cold" "-")
((triple1 triple4) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
True
6
proof
[(((triple4 triple3 ((triple1 triple4) -> rule4)) -> rule1))]
("Bob" "is" "kind" "+")
((triple4 triple3 ((triple1 triple4) -> (rule4 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not kind.
False
6
inv-proof
[(((triple4 triple3 ((triple1 triple4) -> rule4)) -> rule1))]
("Bob" "is" "kind" "-")
((triple4 triple3 ((triple1 triple4) -> (rule4 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
True
8
proof
[(((triple3 ((triple4 triple3 ((triple1 triple4) -> rule4)) -> rule1)) -> rule2))]
("Bob" "is" "big" "+")
((triple3 ((triple4 triple3 ((triple1 triple4) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not big.
False
8
inv-proof
[(((triple3 ((triple4 triple3 ((triple1 triple4) -> rule4)) -> rule1)) -> rule2))]
("Bob" "is" "big" "-")
((triple3 ((triple4 triple3 ((triple1 triple4) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "rough" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "cold" "+")
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "cold" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "rough" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Bob is nice.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Eric is blue.[(triple8)] Eric is kind.[(triple7)] Eric is nice.[(triple6)] Eric is round.[(triple5)] Fred is big.[(triple10)] Fred is round.[(triple9)] @1: Bob is cold.[(((triple1 triple4) -> rule4))] @2: Bob is kind.[(((triple4 triple3 ((triple1 triple4) -> rule4)) -> rule1))] @3: Bob is big.[(((triple3 ((triple4 triple3 ((triple1 triple4) -> rule4)) -> rule1)) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
triple9
Bob is cold.
("Bob" "is" "cold" "+")
((triple1 triple4) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple4 triple3 ((triple1 triple4) -> (rule4 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((triple3 ((triple4 triple3 ((triple1 triple4) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Young Bob is a round fellow: sometimes nice, sometimes rough.
Even though Eric feels blue because of how round he is, he is still nice and kind to people that talk to him.
That man standing next to you with a big round body goes by the name of Fred.
All people that are rough and cold, as well as nice will be kind if you talk to them.
Rough and kind people are big.
Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner.
Young and nice people are ultimately cold.
Big people that tend to be nice and blue, may also be a little rough to others.