Bob is rough and cold, but he's young and will get over it. Young Eric is kind and perpetually cold, especially during the winter holidays when he is green and red. Gary always goes out of his way to show that he is kind to people. Harry had big, red, round cheeks. Young, green round people are big. Round, blue, and green people are poften rough. A young aged blue person will certainly be nice. People who are young, while being red and cold, are big people. Someone being both nice and kind means that they are a big person. When someone is big with rough skin they will look red. Someone who is big and kind is blue.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and young and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and red and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Harry is round.
True
1
proof
[(triple10)]
("Harry" "is" "round" "+")
triple10
Harry is not red.
False
1
inv-proof
[(triple11)]
("Harry" "is" "red" "-")
triple11
Eric is big.
True
4
proof
[(((triple4 triple5 triple8) -> rule4))]
("Eric" "is" "big" "+")
((triple4 triple5 triple8) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
4
inv-proof
[(((triple4 triple5 triple8) -> rule4))]
("Eric" "is" "big" "-")
((triple4 triple5 triple8) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
True
6
proof
[(((triple6 ((triple4 triple5 triple8) -> rule4)) -> rule7))]
("Eric" "is" "blue" "+")
((triple6 ((triple4 triple5 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not blue.
False
6
inv-proof
[(((triple6 ((triple4 triple5 triple8) -> rule4)) -> rule7))]
("Eric" "is" "blue" "-")
((triple6 ((triple4 triple5 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is nice.
True
8
proof
[(((triple4 ((triple6 ((triple4 triple5 triple8) -> rule4)) -> rule7)) -> rule3))]
("Eric" "is" "nice" "+")
((triple4 ((triple6 ((triple4 triple5 triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not nice.
False
8
inv-proof
[(((triple4 ((triple6 ((triple4 triple5 triple8) -> rule4)) -> rule7)) -> rule3))]
("Eric" "is" "nice" "-")
((triple4 ((triple6 ((triple4 triple5 triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@3: Gary is blue.[CWA. Example of deepest failure = (rule7 <- rule5 <- rule3 <- FAIL)]]
("Gary" "is" "blue" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not big.
Unknown
inv-rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is cold.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Eric is cold.[(triple8)] Eric is green.[(triple7)] Eric is kind.[(triple6)] Eric is red.[(triple5)] Eric is young.[(triple4)] Gary is kind.[(triple9)] Harry is big.[(triple12)] Harry is red.[(triple11)] Harry is round.[(triple10)] @1: Eric is big.[(((triple4 triple5 triple8) -> rule4))] @2: Eric is blue.[(((triple6 ((triple4 triple5 triple8) -> rule4)) -> rule7))] @3: Eric is nice.[(((triple4 ((triple6 ((triple4 triple5 triple8) -> rule4)) -> rule7)) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Eric is big.
("Eric" "is" "big" "+")
((triple4 triple5 triple8) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple6 ((triple4 triple5 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((triple4 ((triple6 ((triple4 triple5 triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Bob is rough and cold, but he's young and will get over it.
Young Eric is kind and perpetually cold, especially during the winter holidays when he is green and red.
Gary always goes out of his way to show that he is kind to people.
Harry had big, red, round cheeks.
Young, green round people are big.
Round, blue, and green people are poften rough.
A young aged blue person will certainly be nice.
People who are young, while being red and cold, are big people.
Someone being both nice and kind means that they are a big person.
When someone is big with rough skin they will look red.
Someone who is big and kind is blue.