Bob was born only a few years ago so he is young. Gary is a young man is who big and round. He is very kind and never someone who is cold and blue. To the touch Harry has rough, cold skin. A nice and blue person who's also red will be a rough person. Young people tend to rough and nice, but they are also red. A big person who is kind and nice is usually red because their prone to blushing. Someone blue and red is definitely round and dressed as a clown. People who have a big shape while they are young are found to be nice. If you find that someone has rough blue skin they are always kind. Invariably, any young person whose skin appears rough and green is bound to be quite big.
Bob is young.
("Bob" "is" "young" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and rough and nice then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and nice and big then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is young and big then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and green and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Gary is blue.
True
1
proof
[(triple6)]
("Gary" "is" "blue" "+")
triple6
Gary is not young.
False
1
inv-proof
[(triple2)]
("Gary" "is" "young" "-")
triple2
Gary is nice.
True
3
proof
[(((triple2 triple7) -> rule5))]
("Gary" "is" "nice" "+")
((triple2 triple7) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple2 triple7) -> rule5))]
("Gary" "is" "nice" "-")
((triple2 triple7) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
True
6
proof
[(((triple4 ((triple2 triple7) -> rule5) triple7) -> rule3))]
("Gary" "is" "red" "+")
((triple4 ((triple2 triple7) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not red.
False
6
inv-proof
[(((triple4 ((triple2 triple7) -> rule5) triple7) -> rule3))]
("Gary" "is" "red" "-")
((triple4 ((triple2 triple7) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
True
11
proof
[(((triple6 ((triple2 triple7) -> rule5) ((triple4 ((triple2 triple7) -> rule5) triple7) -> rule3)) -> rule1))]
("Gary" "is" "rough" "+")
((triple6 ((triple2 triple7) -> (rule5 % int3)) ((triple4 ((triple2 triple7) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not rough.
False
11
inv-proof
[(((triple6 ((triple2 triple7) -> rule5) ((triple4 ((triple2 triple7) -> rule5) triple7) -> rule3)) -> rule1))]
("Gary" "is" "rough" "-")
((triple6 ((triple2 triple7) -> (rule5 % int3)) ((triple4 ((triple2 triple7) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "kind" "+")
Fred is not red.
Unknown
inv-rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Fred" "is" "red" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is young.[(triple1)] Gary is big.[(triple7)] Gary is blue.[(triple6)] Gary is cold.[(triple5)] Gary is kind.[(triple4)] Gary is round.[(triple3 OR ((triple6 ((triple4 ((triple2 triple7) -> rule5) triple7) -> rule3)) -> rule4))] Gary is young.[(triple2)] Harry is cold.[(triple9)] Harry is rough.[(triple8)] @1: Gary is nice.[(((triple2 triple7) -> rule5))] @2: Gary is red.[(((triple4 ((triple2 triple7) -> rule5) triple7) -> rule3))] @3: Gary is rough.[(((triple6 ((triple2 triple7) -> rule5) ((triple4 ((triple2 triple7) -> rule5) triple7) -> rule3)) -> rule1))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple3
((triple6 ((triple4 ((triple2 triple7) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
triple2
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
((triple2 triple7) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple4 ((triple2 triple7) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple6 ((triple2 triple7) -> (rule5 % int3)) ((triple4 ((triple2 triple7) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Bob was born only a few years ago so he is young.
Gary is a young man is who big and round; He is very kind and never someone who is cold and blue.
To the touch Harry has rough, cold skin.
A nice and blue person who's also red will be a rough person.
Young people tend to rough and nice, but they are also red.
A big person who is kind and nice is usually red because their prone to blushing.
Someone blue and red is definitely round and dressed as a clown.
People who have a big shape while they are young are found to be nice.
If you find that someone has rough blue skin they are always kind.
Invariably, any young person whose skin appears rough and green is bound to be quite big.