Bob is a rough but very kind and blue person. Even though Charlie is green with envy he is nice with rosy red cheeks. Dave ate some rotten meat and now feels green. Harry was looking rather round and feeling rather cold, but people thought he is kind. Blue Christmas ornaments are also red. You know when you meet a red, blue and kind person, that means they are green. Kind people,though green,tend to be nice. A person that is feeling blue and slightly big, is red as well. Julie is really nice to gardeners since she has a green thumb. Big people that tend to be nice and blue, may also be a little rough to others. Someone can be big and rough, but cold even though they are kind.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is green.
("Dave" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is big and nice and blue then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and rough and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Charlie is green.
True
1
proof
[(triple6 OR ((triple5) -> rule5))]
("Charlie" "is" "green" "+")
triple6
((triple5) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Harry is not round.
False
1
inv-proof
[(triple8)]
("Harry" "is" "round" "-")
triple8
Bob is red.
True
2
proof
[(((triple3) -> rule1))]
("Bob" "is" "red" "+")
((triple3) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple3) -> rule1))]
("Bob" "is" "red" "-")
((triple3) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
True
5
proof
[(((((triple3) -> rule1) triple3 triple2) -> rule2))]
("Bob" "is" "green" "+")
((((triple3) -> (rule1 % int2)) triple3 triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not green.
False
5
inv-proof
[(((((triple3) -> rule1) triple3 triple2) -> rule2))]
("Bob" "is" "green" "-")
((((triple3) -> (rule1 % int2)) triple3 triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
True
7
proof
[(((triple2 ((((triple3) -> rule1) triple3 triple2) -> rule2)) -> rule3))]
("Bob" "is" "nice" "+")
((triple2 ((((triple3) -> (rule1 % int3)) triple3 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not nice.
False
7
inv-proof
[(((triple2 ((((triple3) -> rule1) triple3 triple2) -> rule2)) -> rule3))]
("Bob" "is" "nice" "-")
((triple2 ((((triple3) -> (rule1 % int3)) triple3 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "kind" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "rough" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "kind" "-")
Harry is green.
Unknown
rconc
[@3: Harry is green.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule2 <- FAIL)]]
("Harry" "is" "green" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Bob is blue.[(triple3)] Bob is kind.[(triple2)] Bob is rough.[(triple1)] Charlie is green.[(triple6 OR ((triple5) -> rule5))] Charlie is nice.[(triple5)] Charlie is red.[(triple4)] Dave is green.[(triple7)] Harry is cold.[(triple10)] Harry is kind.[(triple9)] Harry is round.[(triple8)] @1: Bob is red.[(((triple3) -> rule1))] @2: Bob is green.[(((((triple3) -> rule1) triple3 triple2) -> rule2))] @3: Bob is nice.[(((triple2 ((((triple3) -> rule1) triple3 triple2) -> rule2)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple6
((triple5) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Bob is red.
("Bob" "is" "red" "+")
((triple3) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple3) -> (rule1 % int2)) triple3 triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 ((((triple3) -> (rule1 % int3)) triple3 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is a rough but very kind and blue person.
Even though Charlie is green with envy he is nice with rosy red cheeks.
Dave ate some rotten meat and now feels green.
Harry was looking rather round and feeling rather cold, but people thought he is kind.
Blue Christmas ornaments are also red.
You know when you meet a red, blue and kind person, that means they are green.
Kind people,though green,tend to be nice.
A person that is feeling blue and slightly big, is red as well.
Julie is really nice to gardeners since she has a green thumb.
Big people that tend to be nice and blue, may also be a little rough to others.
Someone can be big and rough, but cold even though they are kind.