Even though he's a big dude, Bob is cold. Dave ate some rotten meat and now feels green. Harry has rough, green skin and that makes him cold. He also feels blue for his big size. All kind, red, and young people are also nice. Someone who looks rough and feels cold is also kind to others. A cold, rough person is also round. A nice person who is green is feeling cold. People who are nice and big and red are green. A kind person who is big in size is definitely young. A person who is cold, rough and young is also nice.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and red and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and big and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and young and rough then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Harry is blue.
True
1
proof
[(triple7)]
("Harry" "is" "blue" "+")
triple7
Harry is not rough.
False
1
inv-proof
[(triple4)]
("Harry" "is" "rough" "-")
triple4
Harry is kind.
True
3
proof
[(((triple4 triple6) -> rule2))]
("Harry" "is" "kind" "+")
((triple4 triple6) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple4 triple6) -> rule2))]
("Harry" "is" "kind" "-")
((triple4 triple6) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
True
5
proof
[(((((triple4 triple6) -> rule2) triple8) -> rule6))]
("Harry" "is" "young" "+")
((((triple4 triple6) -> (rule2 % int2)) triple8) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not young.
False
5
inv-proof
[(((((triple4 triple6) -> rule2) triple8) -> rule6))]
("Harry" "is" "young" "-")
((((triple4 triple6) -> (rule2 % int2)) triple8) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
True
8
proof
[(((triple6 ((((triple4 triple6) -> rule2) triple8) -> rule6) triple4) -> rule7))]
("Harry" "is" "nice" "+")
((triple6 ((((triple4 triple6) -> (rule2 % int3)) triple8) -> (rule6 % int2)) triple4) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not nice.
False
8
inv-proof
[(((triple6 ((((triple4 triple6) -> rule2) triple8) -> rule6) triple4) -> rule7))]
("Harry" "is" "nice" "-")
((triple6 ((((triple4 triple6) -> (rule2 % int3)) triple8) -> (rule6 % int2)) triple4) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "young" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Bob is big.[(triple2)] Bob is cold.[(triple1)] Dave is green.[(triple3)] Harry is big.[(triple8)] Harry is blue.[(triple7)] Harry is cold.[(triple6)] Harry is green.[(triple5)] Harry is rough.[(triple4)] @1: Harry is kind.[(((triple4 triple6) -> rule2))] Harry is round.[(((triple4 triple6) -> rule3))] @2: Harry is young.[(((((triple4 triple6) -> rule2) triple8) -> rule6))] @3: Harry is nice.[(((triple6 ((((triple4 triple6) -> rule2) triple8) -> rule6) triple4) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
((triple4 triple6) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple4 triple6) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((((triple4 triple6) -> (rule2 % int2)) triple8) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple6 ((((triple4 triple6) -> (rule2 % int3)) triple8) -> (rule6 % int2)) triple4) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Even though he's a big dude, Bob is cold.
Dave ate some rotten meat and now feels green.
Harry has rough, green skin and that makes him cold; He also feels blue for his big size.
All kind, red, and young people are also nice.
Someone who looks rough and feels cold is also kind to others.
A cold, rough person is also round.
A nice person who is green is feeling cold.
People who are nice and big and red are green.
A kind person who is big in size is definitely young.
A person who is cold, rough and young is also nice.