Bob looks big and is kind with red hair and green shoes. Dave wears all blue. Gary is a young and nice man, and he is also very big shaped. Harry has green teeth and rough skin. People also notice his blue eyes. A kind and big person is young. If a person is blue, rough, and green, then they are also big. A downhearted blue person who is kind is round. Young, kind people have a habit of being nice. Nice people who are looking green and seeing red usually feel rather rough. Nice green people who feel blue are often red in color.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is big and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and blue and nice then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Gary is not big.
False
1
inv-proof
[(triple8)]
("Gary" "is" "big" "-")
triple8
Harry is big.
True
4
proof
[(((triple11 triple9 triple10) -> rule2))]
("Harry" "is" "big" "+")
((triple11 triple9 triple10) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple4 triple2) -> rule1))]
("Bob" "is" "young" "-")
((triple4 triple2) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
True
5
proof
[(((triple2 ((triple4 triple2) -> rule1)) -> rule4))]
("Bob" "is" "nice" "+")
((triple2 ((triple4 triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not nice.
False
5
inv-proof
[(((triple2 ((triple4 triple2) -> rule1)) -> rule4))]
("Bob" "is" "nice" "-")
((triple2 ((triple4 triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
True
8
proof
[(((((triple2 ((triple4 triple2) -> rule1)) -> rule4) triple3 triple1) -> rule5))]
("Bob" "is" "rough" "+")
((((triple2 ((triple4 triple2) -> (rule1 % int3))) -> (rule4 % int2)) triple3 triple1) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not rough.
False
8
inv-proof
[(((((triple2 ((triple4 triple2) -> rule1)) -> rule4) triple3 triple1) -> rule5))]
("Bob" "is" "rough" "-")
((((triple2 ((triple4 triple2) -> (rule1 % int3))) -> (rule4 % int2)) triple3 triple1) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "round" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "nice" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Bob is big.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Dave is blue.[(triple5)] Gary is big.[(triple8)] Gary is nice.[(triple7)] Gary is young.[(triple6)] Harry is blue.[(triple11)] Harry is green.[(triple10)] Harry is rough.[(triple9)] @1: Bob is young.[(((triple4 triple2) -> rule1))] Harry is big.[(((triple11 triple9 triple10) -> rule2))] @2: Bob is nice.[(((triple2 ((triple4 triple2) -> rule1)) -> rule4))] @3: Bob is rough.[(((((triple2 ((triple4 triple2) -> rule1)) -> rule4) triple3 triple1) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Bob is young.
("Bob" "is" "young" "+")
((triple4 triple2) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple11 triple9 triple10) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 ((triple4 triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((((triple2 ((triple4 triple2) -> (rule1 % int3))) -> (rule4 % int2)) triple3 triple1) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob looks big and is kind with red hair and green shoes.
Dave wears all blue.
Gary is a young and nice man, and he is also very big shaped.
Harry has green teeth and rough skin; People also notice his blue eyes.
A kind and big person is young.
If a person is blue, rough, and green, then they are also big.
A downhearted blue person who is kind is round.
Young, kind people have a habit of being nice.
Nice people who are looking green and seeing red usually feel rather rough.
Nice green people who feel blue are often red in color.