Bob is a very rough person. As expected, he's also a very cold and big individual. Charlie is big and dresses in blue. Dave is a nice person, but he is both blue and red. Fred wears all blue. Big and round people who arent cold, tend to be very kind. As someone can be round and rough, they can also be nice and kind. A person with big hair and rough lips is certainly young and jaded. You will always find a cold, rough, red person to also be a round person. Someone who's young and frosty cold are actually very nice. People who are rough and cold, but also nice, are considered green.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is cold and big and round then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and rough and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and cold and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Bob is big.
True
1
proof
[(triple3)]
("Bob" "is" "big" "+")
triple3
Bob is not cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Bob is young.
True
3
proof
[(((triple1 triple3) -> rule3))]
("Bob" "is" "young" "+")
((triple1 triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple1 triple3) -> rule3))]
("Bob" "is" "young" "-")
((triple1 triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
True
5
proof
[(((((triple1 triple3) -> rule3) triple2) -> rule5))]
("Bob" "is" "nice" "+")
((((triple1 triple3) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not nice.
False
5
inv-proof
[(((((triple1 triple3) -> rule3) triple2) -> rule5))]
("Bob" "is" "nice" "-")
((((triple1 triple3) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
True
8
proof
[(((triple1 triple2 ((((triple1 triple3) -> rule3) triple2) -> rule5)) -> rule6))]
("Bob" "is" "green" "+")
((triple1 triple2 ((((triple1 triple3) -> (rule3 % int3)) triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not green.
False
8
inv-proof
[(((triple1 triple2 ((((triple1 triple3) -> rule3) triple2) -> rule5)) -> rule6))]
("Bob" "is" "green" "-")
((triple1 triple2 ((((triple1 triple3) -> (rule3 % int3)) triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "round" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "+")
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Bob is big.[(triple3)] Bob is cold.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple5)] Charlie is blue.[(triple4)] Dave is blue.[(triple8)] Dave is nice.[(triple7)] Dave is red.[(triple6)] Fred is blue.[(triple9)] @1: Bob is young.[(((triple1 triple3) -> rule3))] @2: Bob is nice.[(((((triple1 triple3) -> rule3) triple2) -> rule5))] @3: Bob is green.[(((triple1 triple2 ((((triple1 triple3) -> rule3) triple2) -> rule5)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Bob is young.
("Bob" "is" "young" "+")
((triple1 triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple1 triple3) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple1 triple2 ((((triple1 triple3) -> (rule3 % int3)) triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is a very rough person; As expected, he's also a very cold and big individual.
Charlie is big and dresses in blue.
Dave is a nice person, but he is both blue and red.
Fred wears all blue.
Big and round people who arent cold, tend to be very kind.
As someone can be round and rough, they can also be nice and kind.
A person with big hair and rough lips is certainly young and jaded.
You will always find a cold, rough, red person to also be a round person.
Someone who's young and frosty cold are actually very nice.
People who are rough and cold, but also nice, are considered green.