Bob is not blue. Bob is cold. Bob is nice. Bob is not round. Bob is smart. Bob is white. Bob is young. Gary is blue. Gary is cold. Gary is young. Harry is not blue. Harry is not cold. Harry is round. Harry is smart. Harry is not white. Harry is young. If someone is round and not young then they are white. If someone is round and not white then they are not cold.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not round.
("Bob" "is" "round" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is not white.
("Harry" "is" "white" "-")
Harry is young.
("Harry" "is" "young" "+")
If someone is round and not young then they are white.
((("someone" "is" "round" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "white" "+"))
If someone is round and not white then they are not cold.
((("someone" "is" "round" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "cold" "-"))
Bob is young.
True
1
proof
[(triple7)]
("Bob" "is" "young" "+")
triple7
Bob is round.
False
1
inv-proof
[(triple4)]
("Bob" "is" "round" "+")
triple4
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is not blue.[(triple1)] Bob is not round.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is young.[(triple10)] Harry is not blue.[(triple11)] Harry is not cold.[(triple12 OR ((triple13 triple15) -> rule2))] Harry is not white.[(triple15)] Harry is round.[(triple13)] Harry is smart.[(triple14)] Harry is young.[(triple16)]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not round.
("Bob" "is" "round" "-")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Harry is not blue.
("Harry" "is" "blue" "-")
triple11
Harry is not cold.
("Harry" "is" "cold" "-")
triple12
((triple13 triple15) -> (rule2 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is not white.
("Harry" "is" "white" "-")
triple15
Harry is round.
("Harry" "is" "round" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple16