Bob is a young and nice man, and he is also very big shaped. Fred was born only a few years ago so he is young. As much as Harry is nice, he is also cold and often feels blue. Because someone is green and kind they are extremely nice to people. A round shaped and young aged person will be very cold. Rough and cold and blue people are round. Red, kind, rough people are the young ones. Big people that are also rough, are ultimately round. A nice young person will be rough in texture. When someone is rough like sandpaper and young like a tadpole they are always round.
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and blue and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is red and kind and rough then they are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and rough then they are round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and young then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Fred is young.
True
1
proof
[(triple4)]
("Fred" "is" "young" "+")
triple4
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Bob is rough.
True
3
proof
[(((triple1 triple2) -> rule6))]
("Bob" "is" "rough" "+")
((triple1 triple2) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
3
inv-proof
[(((triple1 triple2) -> rule6))]
("Bob" "is" "rough" "-")
((triple1 triple2) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
True
5
proof
[(((triple3 ((triple1 triple2) -> rule6)) -> rule5) OR ((((triple1 triple2) -> rule6) triple1) -> rule7))]
("Bob" "is" "round" "+")
((triple3 ((triple1 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple1 triple2) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not round.
False
5
inv-proof
[(((triple3 ((triple1 triple2) -> rule6)) -> rule5) OR ((((triple1 triple2) -> rule6) triple1) -> rule7))]
("Bob" "is" "round" "-")
((triple3 ((triple1 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple1 triple2) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
True
7
proof
[(((((triple3 ((triple1 triple2) -> rule6)) -> rule5) triple1) -> rule2) OR ((((((triple1 triple2) -> rule6) triple1) -> rule7) triple1) -> rule2))]
("Bob" "is" "cold" "+")
((((triple3 ((triple1 triple2) -> (rule6 % int3))) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple1 triple2) -> (rule6 % int3)) triple1) -> (rule7 % int2)) triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not cold.
False
7
inv-proof
[(((((triple3 ((triple1 triple2) -> rule6)) -> rule5) triple1) -> rule2) OR ((((((triple1 triple2) -> rule6) triple1) -> rule7) triple1) -> rule2))]
("Bob" "is" "cold" "-")
((((triple3 ((triple1 triple2) -> (rule6 % int3))) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple1 triple2) -> (rule6 % int3)) triple1) -> (rule7 % int2)) triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "nice" "-")
Fred is round.
Unknown
rconc
[@3: Fred is round.[CWA. Example of deepest failure = (rule7 <- rule6 <- rule1 <- FAIL)]]
("Fred" "is" "round" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is rough.
Unknown
rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Eric" "is" "rough" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
@0: Bob is big.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Fred is young.[(triple4)] Harry is blue.[(triple7)] Harry is cold.[(triple6)] Harry is nice.[(triple5)] @1: Bob is rough.[(((triple1 triple2) -> rule6))] @2: Bob is round.[(((triple3 ((triple1 triple2) -> rule6)) -> rule5) OR ((((triple1 triple2) -> rule6) triple1) -> rule7))] @3: Bob is cold.[(((((triple3 ((triple1 triple2) -> rule6)) -> rule5) triple1) -> rule2) OR ((((((triple1 triple2) -> rule6) triple1) -> rule7) triple1) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is young.
("Fred" "is" "young" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
((triple1 triple2) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple3 ((triple1 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple1 triple2) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((triple3 ((triple1 triple2) -> (rule6 % int3))) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple1 triple2) -> (rule6 % int3)) triple1) -> (rule7 % int2)) triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is a young and nice man, and he is also very big shaped.
Fred was born only a few years ago so he is young.
As much as Harry is nice, he is also cold and often feels blue.
Because someone is green and kind they are extremely nice to people.
A round shaped and young aged person will be very cold.
Rough and cold and blue people are round.
Red, kind, rough people are the young ones.
Big people that are also rough, are ultimately round.
A nice young person will be rough in texture.
When someone is rough like sandpaper and young like a tadpole they are always round.