Alan is a man who is both round and rough. Bob is big and rough, but kind. Bob is a mix of colors, red and green and blue. Charlie is nice and kind, but a little rough. Fred always goes out of his way to show that he is kind to people. A person who is nice and green with envy is round. Young people with red skin that play rough are actually quite kind. Someone blue and red is definitely round and dressed as a clown. Kind people who are blue with sadness and cold toward others are surprisingly red. Nice green people who feel blue are often red in color. If someone is kind, green, and round sized, then they are typically nice people. There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fred is kind.
("Fred" "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 rough and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and kind and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is green and blue and nice then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and green and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Bob is blue.
True
1
proof
[(triple7)]
("Bob" "is" "blue" "+")
triple7
Bob is not green.
False
1
inv-proof
[(triple6)]
("Bob" "is" "green" "-")
triple6
Bob is round.
True
3
proof
[(((triple7 triple4) -> rule3))]
("Bob" "is" "round" "+")
((triple7 triple4) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
3
inv-proof
[(((triple7 triple4) -> rule3))]
("Bob" "is" "round" "-")
((triple7 triple4) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
True
6
proof
[(((triple5 triple6 ((triple7 triple4) -> rule3)) -> rule6))]
("Bob" "is" "nice" "+")
((triple5 triple6 ((triple7 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not nice.
False
6
inv-proof
[(((triple5 triple6 ((triple7 triple4) -> rule3)) -> rule6))]
("Bob" "is" "nice" "-")
((triple5 triple6 ((triple7 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
True
9
proof
[(((((triple5 triple6 ((triple7 triple4) -> rule3)) -> rule6) triple5 triple8) -> rule7))]
("Bob" "is" "young" "+")
((((triple5 triple6 ((triple7 triple4) -> (rule3 % int3))) -> (rule6 % int2)) triple5 triple8) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not young.
False
9
inv-proof
[(((((triple5 triple6 ((triple7 triple4) -> rule3)) -> rule6) triple5 triple8) -> rule7))]
("Bob" "is" "young" "-")
((((triple5 triple6 ((triple7 triple4) -> (rule3 % int3))) -> (rule6 % int2)) triple5 triple8) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "red" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "young" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "young" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple8)] Bob is blue.[(triple7)] Bob is green.[(triple6)] Bob is kind.[(triple5)] Bob is red.[(triple4)] Bob is rough.[(triple3)] Charlie is kind.[(triple11)] Charlie is nice.[(triple10)] Charlie is rough.[(triple9)] Fred is kind.[(triple12)] @1: Bob is round.[(((triple7 triple4) -> rule3))] @2: Bob is nice.[(((triple5 triple6 ((triple7 triple4) -> rule3)) -> rule6))] @3: Bob is young.[(((((triple5 triple6 ((triple7 triple4) -> rule3)) -> rule6) triple5 triple8) -> rule7))]
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple8
Bob is blue.
("Bob" "is" "blue" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple11
Charlie is nice.
("Charlie" "is" "nice" "+")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple12
Bob is round.
("Bob" "is" "round" "+")
((triple7 triple4) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple5 triple6 ((triple7 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((triple5 triple6 ((triple7 triple4) -> (rule3 % int3))) -> (rule6 % int2)) triple5 triple8) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Alan is a man who is both round and rough.
Bob is big and rough, but kind; Bob is a mix of colors, red and green and blue.
Charlie is nice and kind, but a little rough.
Fred always goes out of his way to show that he is kind to people.
A person who is nice and green with envy is round.
Young people with red skin that play rough are actually quite kind.
Someone blue and red is definitely round and dressed as a clown.
Kind people who are blue with sadness and cold toward others are surprisingly red.
Nice green people who feel blue are often red in color.
If someone is kind, green, and round sized, then they are typically nice people.
There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.