Bob is considered to be a rather nice person who is also described as being kind, green and big. Fred is a nice person who is red because he has a rash. There's a very big man over there who is green to this situation that seems to be rather cold despite his bright red coat named Harry. A person who's big and kind will also be cold. People with big hands and red, rough skin are terribly kind. Anyone who's got young, round and big traits is bound to have a red trait, too. Kind people who are also rough are young. A person with the qualities of being cold and being red will also be a person that is green. Kind people who are nice find that they must also be rough. Anybody that is rough, cold and nice will be round at the same time.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and big and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and big and round then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and kind then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and cold and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Fred is nice.
True
1
proof
[(triple6)]
("Fred" "is" "nice" "+")
triple6
Bob is not big.
False
1
inv-proof
[(triple4)]
("Bob" "is" "big" "-")
triple4
Bob is rough.
True
3
proof
[(((triple2 triple1) -> rule6))]
("Bob" "is" "rough" "+")
((triple2 triple1) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple4 triple2) -> rule1))]
("Bob" "is" "cold" "-")
((triple4 triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
True
5
proof
[(((((triple2 triple1) -> rule6) triple2) -> rule4))]
("Bob" "is" "young" "+")
((((triple2 triple1) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not round.
False
8
inv-proof
[(((((triple2 triple1) -> rule6) ((triple4 triple2) -> rule1) triple1) -> rule7))]
("Bob" "is" "round" "-")
((((triple2 triple1) -> (rule6 % int3)) ((triple4 triple2) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
True
15
proof
[(((((((triple2 triple1) -> rule6) triple2) -> rule4) triple4 ((((triple2 triple1) -> rule6) ((triple4 triple2) -> rule1) triple1) -> rule7)) -> rule3))]
("Bob" "is" "red" "+")
((((((triple2 triple1) -> (rule6 % int5)) triple2) -> (rule4 % int4)) triple4 ((((triple2 triple1) -> (rule6 % int5)) ((triple4 triple2) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is not red.
False
15
inv-proof
[(((((((triple2 triple1) -> rule6) triple2) -> rule4) triple4 ((((triple2 triple1) -> rule6) ((triple4 triple2) -> rule1) triple1) -> rule7)) -> rule3))]
("Bob" "is" "red" "-")
((((((triple2 triple1) -> (rule6 % int5)) triple2) -> (rule4 % int4)) triple4 ((((triple2 triple1) -> (rule6 % int5)) ((triple4 triple2) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Fred is young.
Unknown
rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Fred" "is" "young" "+")
Dave is not young.
Unknown
inv-rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is green.
Unknown
rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Dave" "is" "green" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Bob is big.[(triple4)] Bob is green.[(triple3 OR ((((triple4 triple2) -> rule1) ((((((triple2 triple1) -> rule6) triple2) -> rule4) triple4 ((((triple2 triple1) -> rule6) ((triple4 triple2) -> rule1) triple1) -> rule7)) -> rule3)) -> rule5))] Bob is kind.[(triple2)] Bob is nice.[(triple1)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Harry is big.[(triple10)] Harry is cold.[(triple9)] Harry is green.[(triple8 OR ((triple9 triple7) -> rule5))] Harry is red.[(triple7)] @1: Bob is cold.[(((triple4 triple2) -> rule1))] Bob is rough.[(((triple2 triple1) -> rule6))] @2: Bob is round.[(((((triple2 triple1) -> rule6) ((triple4 triple2) -> rule1) triple1) -> rule7))] Bob is young.[(((((triple2 triple1) -> rule6) triple2) -> rule4))] @3: Bob is red.[(((((((triple2 triple1) -> rule6) triple2) -> rule4) triple4 ((((triple2 triple1) -> rule6) ((triple4 triple2) -> rule1) triple1) -> rule7)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
((((triple4 triple2) -> (rule1 % int6)) ((((((triple2 triple1) -> (rule6 % int5)) triple2) -> (rule4 % int4)) triple4 ((((triple2 triple1) -> (rule6 % int5)) ((triple4 triple2) -> (rule1 % int6)) triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
((triple9 triple7) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
((triple4 triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 triple1) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple2 triple1) -> (rule6 % int3)) ((triple4 triple2) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((((triple2 triple1) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((((triple2 triple1) -> (rule6 % int5)) triple2) -> (rule4 % int4)) triple4 ((((triple2 triple1) -> (rule6 % int5)) ((triple4 triple2) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is considered to be a rather nice person who is also described as being kind, green and big.
Fred is a nice person who is red because he has a rash.
There's a very big man over there who is green to this situation that seems to be rather cold despite his bright red coat named Harry.
A person who's big and kind will also be cold.
People with big hands and red, rough skin are terribly kind.
Anyone who's got young, round and big traits is bound to have a red trait, too.
Kind people who are also rough are young.
A person with the qualities of being cold and being red will also be a person that is green.
Kind people who are nice find that they must also be rough.
Anybody that is rough, cold and nice will be round at the same time.