Most people see Alan as round, albeit nice and big at the same time. People think that Bob is round. This might be because he is young and blue. That guy Charlie is big, but he's always kind to little ones. They always call him rough Dave. Big round people who wear red clothing will also wear a lot of green jewelry. Cold, red people are generally kind and big. A round someone could be blue and round but maybe red. Blue, young and round people are usually big. A cold human with round and rough aspects is always kind. People who are red and green are also nice. It's always true that round, kind people are rough as well.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
If someone is big and red and round then they are green.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is round and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and young and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and round and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and red then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Bob is round.
True
1
proof
[(triple5)]
("Bob" "is" "round" "+")
triple5
Charlie is not kind.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "kind" "-")
triple7
Bob is big.
True
4
proof
[(((triple6 triple4 triple5) -> rule4))]
("Bob" "is" "big" "+")
((triple6 triple4 triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not red.
False
3
inv-proof
[(((triple5 triple6) -> rule3))]
("Bob" "is" "red" "-")
((triple5 triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
True
9
proof
[(((((triple6 triple4 triple5) -> rule4) ((triple5 triple6) -> rule3) triple5) -> rule1))]
("Bob" "is" "green" "+")
((((triple6 triple4 triple5) -> (rule4 % int3)) ((triple5 triple6) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not green.
False
9
inv-proof
[(((((triple6 triple4 triple5) -> rule4) ((triple5 triple6) -> rule3) triple5) -> rule1))]
("Bob" "is" "green" "-")
((((triple6 triple4 triple5) -> (rule4 % int3)) ((triple5 triple6) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
True
13
proof
[(((((((triple6 triple4 triple5) -> rule4) ((triple5 triple6) -> rule3) triple5) -> rule1) ((triple5 triple6) -> rule3)) -> rule6))]
("Bob" "is" "nice" "+")
((((((triple6 triple4 triple5) -> (rule4 % int4)) ((triple5 triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2)) ((triple5 triple6) -> (rule3 % int3))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not nice.
False
13
inv-proof
[(((((((triple6 triple4 triple5) -> rule4) ((triple5 triple6) -> rule3) triple5) -> rule1) ((triple5 triple6) -> rule3)) -> rule6))]
("Bob" "is" "nice" "-")
((((((triple6 triple4 triple5) -> (rule4 % int4)) ((triple5 triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2)) ((triple5 triple6) -> (rule3 % int3))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "-")
Alan is rough.
Unknown
rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Alan" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "rough" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Dave" "is" "nice" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Alan is big.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple6)] Bob is round.[(triple5)] Bob is young.[(triple4)] Charlie is big.[(triple8)] Charlie is kind.[(triple7)] Dave is rough.[(triple9)] @1: Bob is big.[(((triple6 triple4 triple5) -> rule4))] Bob is red.[(((triple5 triple6) -> rule3))] @2: Bob is green.[(((((triple6 triple4 triple5) -> rule4) ((triple5 triple6) -> rule3) triple5) -> rule1))] @3: Bob is nice.[(((((((triple6 triple4 triple5) -> rule4) ((triple5 triple6) -> rule3) triple5) -> rule1) ((triple5 triple6) -> rule3)) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Bob is big.
("Bob" "is" "big" "+")
((triple6 triple4 triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple5 triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple6 triple4 triple5) -> (rule4 % int3)) ((triple5 triple6) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple6 triple4 triple5) -> (rule4 % int4)) ((triple5 triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2)) ((triple5 triple6) -> (rule3 % int3))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Most people see Alan as round, albeit nice and big at the same time.
People think that Bob is round; This might be because he is young and blue.
That guy Charlie is big, but he's always kind to little ones.
They always call him rough Dave.
Big round people who wear red clothing will also wear a lot of green jewelry.
Cold, red people are generally kind and big.
A round someone could be blue and round but maybe red.
Blue, young and round people are usually big.
A cold human with round and rough aspects is always kind.
People who are red and green are also nice.
It's always true that round, kind people are rough as well.