Alan is big and rough. Bob who is considered nice was feeling rather rough today. Charlie is still young and round, but he is nice to everyone and kind to animals. Dave is a very kind, green but sometimes cold person. I've noticed that kind people are also big. I have found that young, blue, and big individuals are also red. A quite nice person will certainly be red. When you meet someone with cold, rough skin and a round figure they will be nice. A blue and round human being will also be a green human being. All men who happen to be red and big, will also be blue.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is young and blue and big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and cold and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is red and big then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Charlie is young.
True
1
proof
[(triple5)]
("Charlie" "is" "young" "+")
triple5
Bob is not nice.
False
1
inv-proof
[(triple4)]
("Bob" "is" "nice" "-")
triple4
Dave is big.
True
2
proof
[(((triple9) -> rule1))]
("Dave" "is" "big" "+")
((triple9) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
2
inv-proof
[(((triple9) -> rule1))]
("Dave" "is" "big" "-")
((triple9) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Charlie is blue.
True
5
proof
[(((((triple7) -> rule3) ((triple8) -> rule1)) -> rule6))]
("Charlie" "is" "blue" "+")
((((triple7) -> (rule3 % int3)) ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not blue.
False
5
inv-proof
[(((((triple7) -> rule3) ((triple8) -> rule1)) -> rule6))]
("Charlie" "is" "blue" "-")
((((triple7) -> (rule3 % int3)) ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is green.
True
7
proof
[(((((((triple7) -> rule3) ((triple8) -> rule1)) -> rule6) triple6) -> rule5))]
("Charlie" "is" "green" "+")
((((((triple7) -> (rule3 % int4)) ((triple8) -> (rule1 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is not green.
False
7
inv-proof
[(((((((triple7) -> rule3) ((triple8) -> rule1)) -> rule6) triple6) -> rule5))]
("Charlie" "is" "green" "-")
((((((triple7) -> (rule3 % int4)) ((triple8) -> (rule1 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "green" "-")
Dave is red.
Unknown
rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Dave" "is" "red" "+")
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "nice" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "green" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Alan is big.[(triple2)] Alan is rough.[(triple1)] Bob is nice.[(triple4)] Bob is rough.[(triple3)] Charlie is kind.[(triple8)] Charlie is nice.[(triple7)] Charlie is round.[(triple6)] Charlie is young.[(triple5)] Dave is cold.[(triple11)] Dave is green.[(triple10)] Dave is kind.[(triple9)] @1: Bob is red.[(((triple4) -> rule3))] Charlie is big.[(((triple8) -> rule1))] Charlie is red.[(((triple7) -> rule3))] Dave is big.[(((triple9) -> rule1))] @2: Charlie is blue.[(((((triple7) -> rule3) ((triple8) -> rule1)) -> rule6))] @3: Charlie is green.[(((((((triple7) -> rule3) ((triple8) -> rule1)) -> rule6) triple6) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple11
Dave is green.
("Dave" "is" "green" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Bob is red.
("Bob" "is" "red" "+")
((triple4) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple8) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple7) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple9) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple7) -> (rule3 % int3)) ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((((triple7) -> (rule3 % int4)) ((triple8) -> (rule1 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Alan is big and rough.
Bob who is considered nice was feeling rather rough today.
Charlie is still young and round, but he is nice to everyone and kind to animals.
Dave is a very kind, green but sometimes cold person.
I've noticed that kind people are also big.
I have found that young, blue, and big individuals are also red.
A quite nice person will certainly be red.
When you meet someone with cold, rough skin and a round figure they will be nice.
A blue and round human being will also be a green human being.
All men who happen to be red and big, will also be blue.