Charlie is a rough but very kind and blue person. Dave is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Big Eric is still young so it's easy for him to be kind. Harry is blue just like his dog. Harry is rough and round enough for the dog to use him as an exercise wheel. Being round and nice automatically means a person is kind. This person is nice and young, also round, which makes them cold. A depressed person feeling blue who is kind cannot escape from being green. A rather round and green person will be red. An individual with green, blue and big characteristics will also be rough. Someone who is big and kind is blue.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and nice then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and nice and round then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is round and green then they are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green and blue and big then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Eric is big.
True
1
proof
[(triple9)]
("Eric" "is" "big" "+")
triple9
Eric is not big.
False
1
inv-proof
[(triple9)]
("Eric" "is" "big" "-")
triple9
Eric is blue.
True
3
proof
[(((triple8 triple9) -> rule6))]
("Eric" "is" "blue" "+")
((triple8 triple9) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Dave is not kind.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("Dave" "is" "kind" "-")
((triple4 triple5) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
True
5
proof
[(((triple6 ((triple4 triple5) -> rule1)) -> rule3))]
("Dave" "is" "green" "+")
((triple6 ((triple4 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is not green.
False
5
inv-proof
[(((triple6 ((triple4 triple5) -> rule1)) -> rule3))]
("Dave" "is" "green" "-")
((triple6 ((triple4 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Eric is rough.
True
10
proof
[(((((((triple8 triple9) -> rule6) triple8) -> rule3) ((triple8 triple9) -> rule6) triple9) -> rule5))]
("Eric" "is" "rough" "+")
((((((triple8 triple9) -> (rule6 % int3)) triple8) -> (rule3 % int2)) ((triple8 triple9) -> (rule6 % int3)) triple9) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Dave is not red.
False
7
inv-proof
[(((triple4 ((triple6 ((triple4 triple5) -> rule1)) -> rule3)) -> rule4))]
("Dave" "is" "red" "-")
((triple4 ((triple6 ((triple4 triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Harry is not green.
Unknown
inv-rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "rough" "-")
Harry is red.
Unknown
rconc
[@3: Harry is red.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule1 <- FAIL)]]
("Harry" "is" "red" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Charlie is blue.[(triple3)] Charlie is kind.[(triple2)] Charlie is rough.[(triple1)] Dave is blue.[(triple6)] Dave is nice.[(triple5)] Dave is round.[(triple4)] Eric is big.[(triple9)] Eric is kind.[(triple8)] Eric is young.[(triple7)] Harry is blue.[(triple12)] Harry is rough.[(triple11)] Harry is round.[(triple10)] @1: Charlie is green.[(((triple3 triple2) -> rule3))] Dave is kind.[(((triple4 triple5) -> rule1))] Eric is blue.[(((triple8 triple9) -> rule6))] @2: Dave is green.[(((triple6 ((triple4 triple5) -> rule1)) -> rule3))] Eric is green.[(((((triple8 triple9) -> rule6) triple8) -> rule3))] @3: Dave is red.[(((triple4 ((triple6 ((triple4 triple5) -> rule1)) -> rule3)) -> rule4))] Eric is rough.[(((((((triple8 triple9) -> rule6) triple8) -> rule3) ((triple8 triple9) -> rule6) triple9) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Charlie is green.
("Charlie" "is" "green" "+")
((triple3 triple2) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple4 triple5) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple8 triple9) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple6 ((triple4 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((((triple8 triple9) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple4 ((triple6 ((triple4 triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
((((((triple8 triple9) -> (rule6 % int3)) triple8) -> (rule3 % int2)) ((triple8 triple9) -> (rule6 % int3)) triple9) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Charlie is a rough but very kind and blue person.
Dave is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
Big Eric is still young so it's easy for him to be kind.
Harry is blue just like his dog; Harry is rough and round enough for the dog to use him as an exercise wheel.
Being round and nice automatically means a person is kind.
This person is nice and young, also round, which makes them cold.
A depressed person feeling blue who is kind cannot escape from being green.
A rather round and green person will be red.
An individual with green, blue and big characteristics will also be rough.
Someone who is big and kind is blue.