Bob is kind. Bob is nice. Bob is rough. Fiona is not big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is nice. Fiona is rough. Harry is not big. Harry is not furry. Harry is nice. Kind things are furry. Nice, big things are rough.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Kind things are furry.
((("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
Nice, big things are rough.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Bob is rough.
True
1
proof
[(triple3)]
("Bob" "is" "rough" "+")
triple3
Fiona is not blue.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "blue" "-")
triple5
Bob is furry.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple7) -> rule1))]
("Fiona" "is" "furry" "-")
((triple7) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is rough.[(triple3)] Fiona is blue.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Fiona is not big.[(triple4)] Fiona is rough.[(triple9)] Harry is nice.[(triple12)] Harry is not big.[(triple10)] Harry is not furry.[(triple11)] @1: Bob is furry.[(((triple1) -> rule1))] Fiona is furry.[(((triple7) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is not big.
("Fiona" "is" "big" "-")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is not big.
("Harry" "is" "big" "-")
triple10
Harry is not furry.
("Harry" "is" "furry" "-")
triple11
Bob is furry.
("Bob" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple7) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1