Alan always goes out of his way to show that he is kind to people. Bob is cold and blue. He is round and has red rosy cheeks. He is green with envy of those who are happy. Charlie was born only a few years ago so he is young. Even though Gary is big and round, he is cold much of the time. Young people with red, flushed cheeks who are rough around the edges are really quite nice. Big, blue people are red. A young, cold person is often blue. When you meet someone who is round, red and green, they will also be young. Young people that are also red and green, may be fairly rough, also.
Alan is kind.
("Alan" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and young and rough then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and young then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and red and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is red and green and young then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Bob is round.
True
1
proof
[(triple2)]
("Bob" "is" "round" "+")
triple2
Charlie is not young.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "young" "-")
triple7
Bob is young.
True
4
proof
[(((triple4 triple3 triple2) -> rule4))]
("Bob" "is" "young" "+")
((triple4 triple3 triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
4
inv-proof
[(((triple4 triple3 triple2) -> rule4))]
("Bob" "is" "young" "-")
((triple4 triple3 triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
True
7
proof
[(((triple3 triple4 ((triple4 triple3 triple2) -> rule4)) -> rule5))]
("Bob" "is" "rough" "+")
((triple3 triple4 ((triple4 triple3 triple2) -> (rule4 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not rough.
False
7
inv-proof
[(((triple3 triple4 ((triple4 triple3 triple2) -> rule4)) -> rule5))]
("Bob" "is" "rough" "-")
((triple3 triple4 ((triple4 triple3 triple2) -> (rule4 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
True
13
proof
[(((triple3 ((triple4 triple3 triple2) -> rule4) ((triple3 triple4 ((triple4 triple3 triple2) -> rule4)) -> rule5)) -> rule1))]
("Bob" "is" "nice" "+")
((triple3 ((triple4 triple3 triple2) -> (rule4 % int3)) ((triple3 triple4 ((triple4 triple3 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not nice.
False
13
inv-proof
[(((triple3 ((triple4 triple3 triple2) -> rule4) ((triple3 triple4 ((triple4 triple3 triple2) -> rule4)) -> rule5)) -> rule1))]
("Bob" "is" "nice" "-")
((triple3 ((triple4 triple3 triple2) -> (rule4 % int3)) ((triple3 triple4 ((triple4 triple3 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "rough" "-")
Alan is nice.
Unknown
rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Alan" "is" "nice" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "blue" "-")
Gary is blue.
Unknown
rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Alan is kind.[(triple1)] Bob is blue.[(triple6 OR ((triple5 ((triple4 triple3 triple2) -> rule4)) -> rule3))] Bob is cold.[(triple5)] Bob is green.[(triple4)] Bob is red.[(triple3)] Bob is round.[(triple2)] Charlie is young.[(triple7)] Gary is big.[(triple10)] Gary is cold.[(triple9)] Gary is round.[(triple8)] @1: Bob is young.[(((triple4 triple3 triple2) -> rule4))] @2: Bob is rough.[(((triple3 triple4 ((triple4 triple3 triple2) -> rule4)) -> rule5))] @3: Bob is nice.[(((triple3 ((triple4 triple3 triple2) -> rule4) ((triple3 triple4 ((triple4 triple3 triple2) -> rule4)) -> rule5)) -> rule1))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
((triple5 ((triple4 triple3 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Bob is young.
("Bob" "is" "young" "+")
((triple4 triple3 triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple3 triple4 ((triple4 triple3 triple2) -> (rule4 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 ((triple4 triple3 triple2) -> (rule4 % int3)) ((triple3 triple4 ((triple4 triple3 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Alan always goes out of his way to show that he is kind to people.
Bob is cold and blue; He is round and has red rosy cheeks; He is green with envy of those who are happy.
Charlie was born only a few years ago so he is young.
Even though Gary is big and round, he is cold much of the time.
Young people with red, flushed cheeks who are rough around the edges are really quite nice.
Big, blue people are red.
A young, cold person is often blue.
When you meet someone who is round, red and green, they will also be young.
Young people that are also red and green, may be fairly rough, also.