Big, red Bob is quite kind. Charlie is big and tends to wear red shirts. They always call him rough Gary. Harry is a young man who is also kind, blue and rough. Kind young people are red. If you see someone who is red and green they are round, like Santa Claus. You know when you meet a red, blue and kind person, that means they are green. Somebody having round, cold and kind traits is also sure to be young.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is round and kind and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Harry is young.
True
1
proof
[(triple7)]
("Harry" "is" "young" "+")
triple7
Charlie is not red.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "red" "-")
triple4
Harry is red.
True
3
proof
[(((triple9 triple7) -> rule1))]
("Harry" "is" "red" "+")
((triple9 triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
3
inv-proof
[(((triple9 triple7) -> rule1))]
("Harry" "is" "red" "-")
((triple9 triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
True
6
proof
[(((((triple9 triple7) -> rule1) triple10 triple9) -> rule3))]
("Harry" "is" "green" "+")
((((triple9 triple7) -> (rule1 % int2)) triple10 triple9) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not green.
False
6
inv-proof
[(((((triple9 triple7) -> rule1) triple10 triple9) -> rule3))]
("Harry" "is" "green" "-")
((((triple9 triple7) -> (rule1 % int2)) triple10 triple9) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
True
10
proof
[(((((triple9 triple7) -> rule1) ((((triple9 triple7) -> rule1) triple10 triple9) -> rule3)) -> rule2))]
("Harry" "is" "round" "+")
((((triple9 triple7) -> (rule1 % int3)) ((((triple9 triple7) -> (rule1 % int3)) triple10 triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not round.
False
10
inv-proof
[(((((triple9 triple7) -> rule1) ((((triple9 triple7) -> rule1) triple10 triple9) -> rule3)) -> rule2))]
("Harry" "is" "round" "-")
((((triple9 triple7) -> (rule1 % int3)) ((((triple9 triple7) -> (rule1 % int3)) triple10 triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "young" "+")
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Bob" "is" "round" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Bob is big.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Charlie is big.[(triple5)] Charlie is red.[(triple4)] Gary is rough.[(triple6)] Harry is blue.[(triple10)] Harry is kind.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Harry is red.[(((triple9 triple7) -> rule1))] @2: Harry is green.[(((((triple9 triple7) -> rule1) triple10 triple9) -> rule3))] @3: Harry is round.[(((((triple9 triple7) -> rule1) ((((triple9 triple7) -> rule1) triple10 triple9) -> rule3)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
((triple9 triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((((triple9 triple7) -> (rule1 % int2)) triple10 triple9) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((triple9 triple7) -> (rule1 % int3)) ((((triple9 triple7) -> (rule1 % int3)) triple10 triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Big, red Bob is quite kind.
Charlie is big and tends to wear red shirts.
They always call him rough Gary.
Harry is a young man who is also kind, blue and rough.
Kind young people are red.
If you see someone who is red and green they are round, like Santa Claus.
You know when you meet a red, blue and kind person, that means they are green.
Somebody having round, cold and kind traits is also sure to be young.