Big Bob is nice but also rough. Dave is kind and round. Being round makes him a bit blue. Even though Eric is young, he is still very round and still very red. They always call him rough Fred. Young people who are feeling green and cold are kind. Young round folks who are at least a bit red are actually nice. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. There are so many rough, young people and for some reason they are all big too. A nice young person will be rough in texture.
If someone is young and green and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and round and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is young and nice then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Dave is kind.
True
1
proof
[(triple5)]
("Dave" "is" "kind" "+")
triple5
Bob is not nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Eric is nice.
True
4
proof
[(((triple9 triple8 triple7) -> rule2))]
("Eric" "is" "nice" "+")
((triple9 triple8 triple7) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is not nice.
False
4
inv-proof
[(((triple9 triple8 triple7) -> rule2))]
("Eric" "is" "nice" "-")
((triple9 triple8 triple7) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
True
6
proof
[(((triple7 ((triple9 triple8 triple7) -> rule2)) -> rule5))]
("Eric" "is" "rough" "+")
((triple7 ((triple9 triple8 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is not rough.
False
6
inv-proof
[(((triple7 ((triple9 triple8 triple7) -> rule2)) -> rule5))]
("Eric" "is" "rough" "-")
((triple7 ((triple9 triple8 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is big.
True
8
proof
[(((triple7 ((triple7 ((triple9 triple8 triple7) -> rule2)) -> rule5)) -> rule4))]
("Eric" "is" "big" "+")
((triple7 ((triple7 ((triple9 triple8 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is not big.
False
8
inv-proof
[(((triple7 ((triple7 ((triple9 triple8 triple7) -> rule2)) -> rule5)) -> rule4))]
("Eric" "is" "big" "-")
((triple7 ((triple7 ((triple9 triple8 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "rough" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "big" "+")
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "kind" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "kind" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is big.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Dave is blue.[(triple6)] Dave is kind.[(triple5)] Dave is round.[(triple4)] Eric is red.[(triple9)] Eric is round.[(triple8)] Eric is young.[(triple7)] Fred is rough.[(triple10)] @1: Eric is nice.[(((triple9 triple8 triple7) -> rule2))] @2: Eric is rough.[(((triple7 ((triple9 triple8 triple7) -> rule2)) -> rule5))] @3: Eric is big.[(((triple7 ((triple7 ((triple9 triple8 triple7) -> rule2)) -> rule5)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple10
Eric is nice.
("Eric" "is" "nice" "+")
((triple9 triple8 triple7) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple7 ((triple9 triple8 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple7 ((triple7 ((triple9 triple8 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Big Bob is nice but also rough.
Dave is kind and round; Being round makes him a bit blue.
Even though Eric is young, he is still very round and still very red.
They always call him rough Fred.
Young people who are feeling green and cold are kind.
Young round folks who are at least a bit red are actually nice.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
There are so many rough, young people and for some reason they are all big too.
A nice young person will be rough in texture.