Young Bob is quite nice, and because he is so round can be considered quite big. In the snow sits Fred, crying from being cold. Gary always goes out of his way to show that he is kind to people. Harry can be cold and rough, but also can be nice and kind. Either way, he's big and round. Young people who wear red lipstick are certainly kind. You'll always find a young, kind and red person to be a cold person, too. Young people tend to be blue all the time and rough. If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body. A quite nice person will certainly be red. Because of circulation issues big people are often cold. If they are also green then they are certainly young. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and young and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and cold and red then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and green and big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Bob is round.
True
1
proof
[(triple2 OR ((((((triple3) -> rule5) triple1) -> rule1) ((((((triple3) -> rule5) triple1) -> rule1) triple1 ((triple3) -> rule5)) -> rule2) ((triple3) -> rule5)) -> rule4))]
("Bob" "is" "round" "+")
triple2
((((((triple3) -> (rule5 % int4)) triple1) -> (rule1 % int3)) ((((((triple3) -> (rule5 % int4)) triple1) -> (rule1 % int3)) triple1 ((triple3) -> (rule5 % int4))) -> (rule2 % int2)) ((triple3) -> (rule5 % int4))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Bob is red.
True
2
proof
[(((triple3) -> rule5))]
("Bob" "is" "red" "+")
((triple3) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple9) -> rule5))]
("Harry" "is" "red" "-")
((triple9) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Bob is kind.
True
4
proof
[(((((triple3) -> rule5) triple1) -> rule1))]
("Bob" "is" "kind" "+")
((((triple3) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not kind.
False
4
inv-proof
[(((((triple3) -> rule5) triple1) -> rule1))]
("Bob" "is" "kind" "-")
((((triple3) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
True
8
proof
[(((((((triple3) -> rule5) triple1) -> rule1) triple1 ((triple3) -> rule5)) -> rule2))]
("Bob" "is" "cold" "+")
((((((triple3) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple1 ((triple3) -> (rule5 % int3))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not cold.
False
8
inv-proof
[(((((((triple3) -> rule5) triple1) -> rule1) triple1 ((triple3) -> rule5)) -> rule2))]
("Bob" "is" "cold" "-")
((((((triple3) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple1 ((triple3) -> (rule5 % int3))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "-")
Fred is kind.
Unknown
rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Fred" "is" "kind" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "nice" "-")
Gary is cold.
Unknown
rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Gary" "is" "cold" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Bob is big.[(triple4)] Bob is nice.[(triple3)] Bob is round.[(triple2 OR ((((((triple3) -> rule5) triple1) -> rule1) ((((((triple3) -> rule5) triple1) -> rule1) triple1 ((triple3) -> rule5)) -> rule2) ((triple3) -> rule5)) -> rule4))] Bob is young.[(triple1)] Fred is cold.[(triple5)] Gary is kind.[(triple6)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is kind.[(triple10)] Harry is nice.[(triple9)] Harry is rough.[(triple8)] Harry is round.[(triple7 OR ((triple10 triple11 ((triple9) -> rule5)) -> rule4))] @1: Bob is red.[(((triple3) -> rule5))] Harry is red.[(((triple9) -> rule5))] @2: Bob is kind.[(((((triple3) -> rule5) triple1) -> rule1))] @3: Bob is cold.[(((((((triple3) -> rule5) triple1) -> rule1) triple1 ((triple3) -> rule5)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
((((((triple3) -> (rule5 % int4)) triple1) -> (rule1 % int3)) ((((((triple3) -> (rule5 % int4)) triple1) -> (rule1 % int3)) triple1 ((triple3) -> (rule5 % int4))) -> (rule2 % int2)) ((triple3) -> (rule5 % int4))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
((triple10 triple11 ((triple9) -> (rule5 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((triple3) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple9) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple3) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((((triple3) -> (rule5 % int3)) triple1) -> (rule1 % int2)) triple1 ((triple3) -> (rule5 % int3))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Young Bob is quite nice, and because he is so round can be considered quite big.
In the snow sits Fred, crying from being cold.
Gary always goes out of his way to show that he is kind to people.
Harry can be cold and rough, but also can be nice and kind; Either way, he's big and round.
Young people who wear red lipstick are certainly kind.
You'll always find a young, kind and red person to be a cold person, too.
Young people tend to be blue all the time and rough.
If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body.
A quite nice person will certainly be red.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.