Bob happens to be a big man who is very nice and kind. he has one green eye and the other one is blue. Dave who is round is kind but today he is feeling cold and green. My friend Harry is very young. People say he is nice for having a round shape. All the big and young boys at the park are red. Being a young, round and kind individual means that you are also a blue individual. If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough. People that are green tend to be young. Young people that are nice and green tend to be blue. You will find most green,cold and blue people to be rough. Someone who is big and kind is blue.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is young and round and kind then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and big and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and cold and blue then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Harry is young.
True
1
proof
[(triple10)]
("Harry" "is" "young" "+")
triple10
Dave is not kind.
False
1
inv-proof
[(triple7)]
("Dave" "is" "kind" "-")
triple7
Dave is young.
True
2
proof
[(((triple8) -> rule4))]
("Dave" "is" "young" "+")
((triple8) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple3) -> rule4))]
("Bob" "is" "young" "-")
((triple3) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is blue.
True
5
proof
[(((((triple8) -> rule4) triple6 triple7) -> rule2))]
("Dave" "is" "blue" "+")
((((triple8) -> (rule4 % int2)) triple6 triple7) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not blue.
False
5
inv-proof
[(((((triple8) -> rule4) triple6 triple7) -> rule2))]
("Dave" "is" "blue" "-")
((((triple8) -> (rule4 % int2)) triple6 triple7) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
True
8
proof
[(((triple8 triple9 ((((triple8) -> rule4) triple6 triple7) -> rule2)) -> rule6))]
("Dave" "is" "rough" "+")
((triple8 triple9 ((((triple8) -> (rule4 % int3)) triple6 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is not rough.
False
8
inv-proof
[(((triple8 triple9 ((((triple8) -> rule4) triple6 triple7) -> rule2)) -> rule6))]
("Dave" "is" "rough" "-")
((triple8 triple9 ((((triple8) -> (rule4 % int3)) triple6 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Bob is big.[(triple5)] Bob is blue.[(triple4 OR ((triple2 triple5) -> rule7) OR ((((triple3) -> rule4) triple1 triple3) -> rule5))] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is nice.[(triple1)] Dave is cold.[(triple9)] Dave is green.[(triple8)] Dave is kind.[(triple7)] Dave is round.[(triple6)] Harry is nice.[(triple12)] Harry is round.[(triple11)] Harry is young.[(triple10)] @1: Bob is young.[(((triple3) -> rule4))] Dave is young.[(((triple8) -> rule4))] @2: Bob is red.[(((triple5 ((triple3) -> rule4)) -> rule1))] Dave is blue.[(((((triple8) -> rule4) triple6 triple7) -> rule2))] @3: Dave is rough.[(((triple8 triple9 ((((triple8) -> rule4) triple6 triple7) -> rule2)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple4
((triple2 triple5) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple3) -> (rule4 % int2)) triple1 triple3) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Bob is young.
("Bob" "is" "young" "+")
((triple3) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple8) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple5 ((triple3) -> (rule4 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((triple8) -> (rule4 % int2)) triple6 triple7) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((triple8 triple9 ((((triple8) -> (rule4 % int3)) triple6 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Bob happens to be a big man who is very nice and kind; he has one green eye and the other one is blue.
Dave who is round is kind but today he is feeling cold and green.
My friend Harry is very young; People say he is nice for having a round shape.
All the big and young boys at the park are red.
Being a young, round and kind individual means that you are also a blue individual.
If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough.
People that are green tend to be young.
Young people that are nice and green tend to be blue.
You will find most green,cold and blue people to be rough.
Someone who is big and kind is blue.