Bob is kind. Fiona is blue. Fiona is kind. Fiona is rough. Gary is not blue. Gary is rough. Harry is not white. If something is white and furry then it is young. Rough things are kind.
Bob is kind.
("Bob" "is" "kind" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is not white.
("Harry" "is" "white" "-")
If something is white and furry then it is young.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
Rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Harry is not white.
True
1
proof
[(triple7)]
("Harry" "is" "white" "-")
triple7
Harry is white.
False
1
inv-proof
[(triple7)]
("Harry" "is" "white" "+")
triple7
Gary is kind.
True
2
proof
[(((triple6) -> rule2))]
("Gary" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
2
inv-proof
[(((triple6) -> rule2))]
("Gary" "is" "kind" "-")
((triple6) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "young" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is kind.[(triple1)] Fiona is blue.[(triple2)] Fiona is kind.[(triple3 OR ((triple4) -> rule2))] Fiona is rough.[(triple4)] Gary is not blue.[(triple5)] Gary is rough.[(triple6)] Harry is not white.[(triple7)] @1: Gary is kind.[(((triple6) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
((triple4) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Gary is not blue.
("Gary" "is" "blue" "-")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is not white.
("Harry" "is" "white" "-")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1