Alan is considered to be a rather nice person who is also described as being kind, green and big. Bob is round shaped and green colored. Upon meeting Charlie, you'll notice he's green and kind. Dave is big and rough. When someone is nice and rough they are usually red. You can tell if someone is big, kind, and young, then they are also nice. I've noticed that red, cold people who are kind have the trait of rough skin. If a person is red, kind, and nice then they must be round. Nice people who are big in stature often look rough. People who are rough and cold, but also nice, are considered green. People that are blue, cold, and big, are rather rough.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
If someone is nice and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is big and kind and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and cold and red then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and red and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and cold and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Charlie is green.
True
1
proof
[(triple8)]
("Charlie" "is" "green" "+")
triple8
Charlie is not kind.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "kind" "-")
triple7
Alan is rough.
True
3
proof
[(((triple1 triple4) -> rule5))]
("Alan" "is" "rough" "+")
((triple1 triple4) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is not rough.
False
3
inv-proof
[(((triple1 triple4) -> rule5))]
("Alan" "is" "rough" "-")
((triple1 triple4) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
True
5
proof
[(((triple1 ((triple1 triple4) -> rule5)) -> rule1))]
("Alan" "is" "red" "+")
((triple1 ((triple1 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not red.
False
5
inv-proof
[(((triple1 ((triple1 triple4) -> rule5)) -> rule1))]
("Alan" "is" "red" "-")
((triple1 ((triple1 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is round.
True
8
proof
[(((triple1 ((triple1 ((triple1 triple4) -> rule5)) -> rule1) triple2) -> rule4))]
("Alan" "is" "round" "+")
((triple1 ((triple1 ((triple1 triple4) -> (rule5 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not round.
False
8
inv-proof
[(((triple1 ((triple1 ((triple1 triple4) -> rule5)) -> rule1) triple2) -> rule4))]
("Alan" "is" "round" "-")
((triple1 ((triple1 ((triple1 triple4) -> (rule5 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "green" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "red" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is nice.[(triple1)] Bob is green.[(triple6)] Bob is round.[(triple5)] Charlie is green.[(triple8)] Charlie is kind.[(triple7)] Dave is big.[(triple10)] Dave is rough.[(triple9)] @1: Alan is rough.[(((triple1 triple4) -> rule5))] @2: Alan is red.[(((triple1 ((triple1 triple4) -> rule5)) -> rule1))] @3: Alan is round.[(((triple1 ((triple1 ((triple1 triple4) -> rule5)) -> rule1) triple2) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Alan is rough.
("Alan" "is" "rough" "+")
((triple1 triple4) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple1 ((triple1 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((triple1 ((triple1 ((triple1 triple4) -> (rule5 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is considered to be a rather nice person who is also described as being kind, green and big.
Bob is round shaped and green colored.
Upon meeting Charlie, you'll notice he's green and kind.
Dave is big and rough.
When someone is nice and rough they are usually red.
You can tell if someone is big, kind, and young, then they are also nice.
I've noticed that red, cold people who are kind have the trait of rough skin.
If a person is red, kind, and nice then they must be round.
Nice people who are big in stature often look rough.
People who are rough and cold, but also nice, are considered green.
People that are blue, cold, and big, are rather rough.