I know Alan really well and you can say he is rough on the outside, cold on the inside and red all of the time. Bob is a very rough person. As expected, he's also a very cold and big individual. They always call him rough Dave. Round, rough people blue with sadness turn out to be green. A big rough person are also young of age. If you are big and young then your are also nice. Big people with round and somewhat red faces will have rough skin. Blue people round with fat are red from too much time in the sun. Young people who are nice and cold, are rather green. Anyone who's blue is also green.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
If someone is blue and round and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is big and rough then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and round and red then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and young and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Dave is rough.
True
1
proof
[(triple7)]
("Dave" "is" "rough" "+")
triple7
Dave is not rough.
False
1
inv-proof
[(triple7)]
("Dave" "is" "rough" "-")
triple7
Bob is young.
True
3
proof
[(((triple6 triple4) -> rule2))]
("Bob" "is" "young" "+")
((triple6 triple4) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple6 triple4) -> rule2))]
("Bob" "is" "young" "-")
((triple6 triple4) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
True
5
proof
[(((triple6 ((triple6 triple4) -> rule2)) -> rule3))]
("Bob" "is" "nice" "+")
((triple6 ((triple6 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not nice.
False
5
inv-proof
[(((triple6 ((triple6 triple4) -> rule2)) -> rule3))]
("Bob" "is" "nice" "-")
((triple6 ((triple6 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
True
10
proof
[(((((triple6 ((triple6 triple4) -> rule2)) -> rule3) ((triple6 triple4) -> rule2) triple5) -> rule6))]
("Bob" "is" "green" "+")
((((triple6 ((triple6 triple4) -> (rule2 % int3))) -> (rule3 % int2)) ((triple6 triple4) -> (rule2 % int3)) triple5) -> (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
10
inv-proof
[(((((triple6 ((triple6 triple4) -> rule2)) -> rule3) ((triple6 triple4) -> rule2) triple5) -> rule6))]
("Bob" "is" "green" "-")
((((triple6 ((triple6 triple4) -> (rule2 % int3))) -> (rule3 % int2)) ((triple6 triple4) -> (rule2 % int3)) triple5) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "nice" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Alan is cold.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Bob is big.[(triple6)] Bob is cold.[(triple5)] Bob is rough.[(triple4)] Dave is rough.[(triple7)] @1: Bob is young.[(((triple6 triple4) -> rule2))] @2: Bob is nice.[(((triple6 ((triple6 triple4) -> rule2)) -> rule3))] @3: Bob is green.[(((((triple6 ((triple6 triple4) -> rule2)) -> rule3) ((triple6 triple4) -> rule2) triple5) -> rule6))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
((triple6 triple4) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple6 ((triple6 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((((triple6 ((triple6 triple4) -> (rule2 % int3))) -> (rule3 % int2)) ((triple6 triple4) -> (rule2 % int3)) triple5) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
I know Alan really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Bob is a very rough person; As expected, he's also a very cold and big individual.
They always call him rough Dave.
Round, rough people blue with sadness turn out to be green.
A big rough person are also young of age.
If you are big and young then your are also nice.
Big people with round and somewhat red faces will have rough skin.
Blue people round with fat are red from too much time in the sun.
Young people who are nice and cold, are rather green.
Anyone who's blue is also green.