Alan is a very rough person. As expected, he's also a very cold and big individual. Bob is blue from ink he spilled on himself while being kind and helping some children paint. Gary, who is young, nice, green, and blue, is also rather big shaped. Young people who wear red lipstick are certainly kind. You will find that a big, young, blue person is also quite round. Kind and blue people,though young,tend to be big. Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy. People with rough red and blue skin are young. Take a drive and find a kind and blue driver, that means they are also young.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and big and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and blue and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and red and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Alan is rough.
True
1
proof
[(triple1)]
("Alan" "is" "rough" "+")
triple1
Alan is not big.
False
1
inv-proof
[(triple3)]
("Alan" "is" "big" "-")
triple3
Gary is round.
True
4
proof
[(((triple6 triple10 triple9) -> rule2))]
("Gary" "is" "round" "+")
((triple6 triple10 triple9) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple4 triple5) -> rule6))]
("Bob" "is" "young" "-")
((triple4 triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
True
6
proof
[(((triple4 triple5 ((triple4 triple5) -> rule6)) -> rule3))]
("Bob" "is" "big" "+")
((triple4 triple5 ((triple4 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not big.
False
6
inv-proof
[(((triple4 triple5 ((triple4 triple5) -> rule6)) -> rule3))]
("Bob" "is" "big" "-")
((triple4 triple5 ((triple4 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
True
11
proof
[(((((triple4 triple5) -> rule6) ((triple4 triple5 ((triple4 triple5) -> rule6)) -> rule3) triple5) -> rule2))]
("Bob" "is" "round" "+")
((((triple4 triple5) -> (rule6 % int3)) ((triple4 triple5 ((triple4 triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not round.
False
11
inv-proof
[(((((triple4 triple5) -> rule6) ((triple4 triple5 ((triple4 triple5) -> rule6)) -> rule3) triple5) -> rule2))]
("Bob" "is" "round" "-")
((((triple4 triple5) -> (rule6 % int3)) ((triple4 triple5 ((triple4 triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "round" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "young" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is rough.[(triple1)] Bob is blue.[(triple5)] Bob is kind.[(triple4)] Gary is big.[(triple10)] Gary is blue.[(triple9)] Gary is green.[(triple8)] Gary is nice.[(triple7)] Gary is young.[(triple6)] @1: Bob is young.[(((triple4 triple5) -> rule6))] Gary is round.[(((triple6 triple10 triple9) -> rule2))] @2: Bob is big.[(((triple4 triple5 ((triple4 triple5) -> rule6)) -> rule3))] @3: Bob is round.[(((((triple4 triple5) -> rule6) ((triple4 triple5 ((triple4 triple5) -> rule6)) -> rule3) triple5) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
((triple4 triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple6 triple10 triple9) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple4 triple5 ((triple4 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple4 triple5) -> (rule6 % int3)) ((triple4 triple5 ((triple4 triple5) -> (rule6 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Alan is a very rough person; As expected, he's also a very cold and big individual.
Bob is blue from ink he spilled on himself while being kind and helping some children paint.
Gary, who is young, nice, green, and blue, is also rather big shaped.
Young people who wear red lipstick are certainly kind.
You will find that a big, young, blue person is also quite round.
Kind and blue people,though young,tend to be big.
Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.
People with rough red and blue skin are young.
Take a drive and find a kind and blue driver, that means they are also young.