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