Alan is a young guy who is also round, red, kind, cold and blue. Bob ate some rotten meat and now feels green. Dave is big and dresses in blue. Big Harry, the most blue guy I know while also being cold. Big, kind people are nice. A depressed person feeling blue who is kind cannot escape from being green. Despite being too big with bright green skin and freezing cold, these people have always been kind. Interestingly, cold and rough people are kind. A human that's round, red and kind will be also be a green human. Blue people who are big tend to be rough. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is big and green and cold then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and round and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Harry is big.
True
1
proof
[(triple12)]
("Harry" "is" "big" "+")
triple12
Harry is not blue.
False
1
inv-proof
[(triple11)]
("Harry" "is" "blue" "-")
triple11
Dave is rough.
True
3
proof
[(((triple8 triple9) -> rule6))]
("Dave" "is" "rough" "+")
((triple8 triple9) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
3
inv-proof
[(((triple8 triple9) -> rule6))]
("Dave" "is" "rough" "-")
((triple8 triple9) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Harry is kind.
True
5
proof
[(((triple10 ((triple11 triple12) -> rule6)) -> rule4))]
("Harry" "is" "kind" "+")
((triple10 ((triple11 triple12) -> (rule6 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Dave is not nice.
False
6
inv-proof
[(((triple8 ((triple8 triple9) -> rule6) triple9) -> rule7))]
("Dave" "is" "nice" "-")
((triple8 ((triple8 triple9) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Harry is green.
True
7
proof
[(((triple11 ((triple10 ((triple11 triple12) -> rule6)) -> rule4)) -> rule2))]
("Harry" "is" "green" "+")
((triple11 ((triple10 ((triple11 triple12) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not green.
False
7
inv-proof
[(((triple11 ((triple10 ((triple11 triple12) -> rule6)) -> rule4)) -> rule2))]
("Harry" "is" "green" "-")
((triple11 ((triple10 ((triple11 triple12) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "rough" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not green.
Unknown
inv-rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Dave" "is" "green" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "kind" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Alan is blue.[(triple6)] Alan is cold.[(triple5)] Alan is kind.[(triple4)] Alan is red.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple7)] Dave is big.[(triple9)] Dave is blue.[(triple8)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] @1: Alan is green.[(((triple6 triple4) -> rule2) OR ((triple3 triple2 triple4) -> rule5))] Dave is rough.[(((triple8 triple9) -> rule6))] Harry is rough.[(((triple11 triple12) -> rule6))] @2: Dave is nice.[(((triple8 ((triple8 triple9) -> rule6) triple9) -> rule7))] Harry is kind.[(((triple10 ((triple11 triple12) -> rule6)) -> rule4))] Harry is nice.[(((triple11 ((triple11 triple12) -> rule6) triple12) -> rule7) OR ((((triple10 ((triple11 triple12) -> rule6)) -> rule4) triple12) -> rule1))] @3: Harry is green.[(((triple11 ((triple10 ((triple11 triple12) -> rule6)) -> rule4)) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple6
Alan is cold.
("Alan" "is" "cold" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple9
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Alan is green.
("Alan" "is" "green" "+")
((triple6 triple4) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
((triple3 triple2 triple4) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple8 triple9) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple11 triple12) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple8 ((triple8 triple9) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple10 ((triple11 triple12) -> (rule6 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple11 ((triple11 triple12) -> (rule6 % int2)) triple12) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple10 ((triple11 triple12) -> (rule6 % int3))) -> (rule4 % int2)) triple12) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((triple11 ((triple10 ((triple11 triple12) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Alan is a young guy who is also round, red, kind, cold and blue.
Bob ate some rotten meat and now feels green.
Dave is big and dresses in blue.
Big Harry, the most blue guy I know while also being cold.
Big, kind people are nice.
A depressed person feeling blue who is kind cannot escape from being green.
Despite being too big with bright green skin and freezing cold, these people have always been kind.
Interestingly, cold and rough people are kind.
A human that's round, red and kind will be also be a green human.
Blue people who are big tend to be rough.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.