Bob is big. Bob is not green. Bob is nice. Bob is not young. Gary is white. Gary is not young. Harry is cold. Harry is green. Harry is not rough. Harry is young. Nice things are cold. If something is big then it is white.
Bob is big.
("Bob" "is" "big" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not young.
("Bob" "is" "young" "-")
Gary is white.
("Gary" "is" "white" "+")
Gary is not young.
("Gary" "is" "young" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is young.
("Harry" "is" "young" "+")
Nice things are cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If something is big then it is white.
((("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
Harry is not rough.
True
1
proof
[(triple9)]
("Harry" "is" "rough" "-")
triple9
Harry is not cold.
False
1
inv-proof
[(triple7)]
("Harry" "is" "cold" "-")
triple7
Bob is cold.
True
2
proof
[(((triple3) -> rule1))]
("Bob" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not white.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "white" "-")
((triple1) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "white" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Bob is big.[(triple1)] Bob is nice.[(triple3)] Bob is not green.[(triple2)] Bob is not young.[(triple4)] Gary is not young.[(triple6)] Gary is white.[(triple5)] Harry is cold.[(triple7)] Harry is green.[(triple8)] Harry is not rough.[(triple9)] Harry is young.[(triple10)] @1: Bob is cold.[(((triple3) -> rule1))] Bob is white.[(((triple1) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is not green.
("Bob" "is" "green" "-")
triple2
Bob is not young.
("Bob" "is" "young" "-")
triple4
Gary is not young.
("Gary" "is" "young" "-")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is not rough.
("Harry" "is" "rough" "-")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Bob is cold.
("Bob" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1