You think Alan is only rough, cold and blue, but I know he is also young, round and kind. Bob is a very kind, green but sometimes cold person. Dave was feeling red with anger after the fight, but he was still a nice but big human being. Young people who are big, downhearted, and blue are kind. Green people will be nice even when they have been rough. A person described as cold and kind can also be described as nice. Nice people are kind and rough when they are young.
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and nice then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Alan is young.
True
1
proof
[(triple1 OR ((((triple5 triple4) -> rule3) triple4 triple3) -> rule4))]
("Alan" "is" "young" "+")
triple1
((((triple5 triple4) -> (rule3 % int2)) triple4 triple3) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is not round.
False
1
inv-proof
[(triple2)]
("Alan" "is" "round" "-")
triple2
Alan is nice.
True
3
proof
[(((triple5 triple4) -> rule3))]
("Alan" "is" "nice" "+")
((triple5 triple4) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple9 triple7) -> rule3))]
("Bob" "is" "nice" "-")
((triple9 triple7) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
True
5
proof
[(((triple8 ((triple9 triple7) -> rule3)) -> rule2))]
("Bob" "is" "rough" "+")
((triple8 ((triple9 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not rough.
False
5
inv-proof
[(((triple8 ((triple9 triple7) -> rule3)) -> rule2))]
("Bob" "is" "rough" "-")
((triple8 ((triple9 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
True
10
proof
[(((((triple9 triple7) -> rule3) triple7 ((triple8 ((triple9 triple7) -> rule3)) -> rule2)) -> rule4))]
("Bob" "is" "young" "+")
((((triple9 triple7) -> (rule3 % int3)) triple7 ((triple8 ((triple9 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not young.
False
10
inv-proof
[(((((triple9 triple7) -> rule3) triple7 ((triple8 ((triple9 triple7) -> rule3)) -> rule2)) -> rule4))]
("Bob" "is" "young" "-")
((((triple9 triple7) -> (rule3 % int3)) triple7 ((triple8 ((triple9 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "rough" "+")
Eric is not young.
Unknown
inv-rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "rough" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is blue.[(triple6)] Alan is cold.[(triple5)] Alan is kind.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1 OR ((((triple5 triple4) -> rule3) triple4 triple3) -> rule4))] Bob is cold.[(triple9)] Bob is green.[(triple8)] Bob is kind.[(triple7)] Dave is big.[(triple12)] Dave is nice.[(triple11)] Dave is red.[(triple10)] @1: Alan is nice.[(((triple5 triple4) -> rule3))] Bob is nice.[(((triple9 triple7) -> rule3))] @2: Bob is rough.[(((triple8 ((triple9 triple7) -> rule3)) -> rule2))] @3: Bob is young.[(((((triple9 triple7) -> rule3) triple7 ((triple8 ((triple9 triple7) -> rule3)) -> rule2)) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple6
Alan is cold.
("Alan" "is" "cold" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is rough.
("Alan" "is" "rough" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
((((triple5 triple4) -> (rule3 % int2)) triple4 triple3) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
triple9
Bob is green.
("Bob" "is" "green" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple12
Dave is nice.
("Dave" "is" "nice" "+")
triple11
Dave is red.
("Dave" "is" "red" "+")
triple10
Alan is nice.
("Alan" "is" "nice" "+")
((triple5 triple4) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple9 triple7) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple8 ((triple9 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((triple9 triple7) -> (rule3 % int3)) triple7 ((triple8 ((triple9 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
You think Alan is only rough, cold and blue, but I know he is also young, round and kind.
Bob is a very kind, green but sometimes cold person.
Dave was feeling red with anger after the fight, but he was still a nice but big human being.
Young people who are big, downhearted, and blue are kind.
Green people will be nice even when they have been rough.
A person described as cold and kind can also be described as nice.
Nice people are kind and rough when they are young.