Dave is blue. Dave is furry. Dave is young. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is white. Harry is green. Harry is kind. Harry is nice. Harry is white. Harry is young. White, nice things are furry. If something is young and kind then it is white.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
White, nice things are furry.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
If something is young and kind then it is white.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
Harry is kind.
True
1
proof
[(triple9)]
("Harry" "is" "kind" "+")
triple9
Fiona is not nice.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "nice" "-")
triple6
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is young.[(triple3)] Fiona is blue.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is white.[(triple7)] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10)] Harry is white.[(triple11 OR ((triple12 triple9) -> rule2))] Harry is young.[(triple12)] @1: Fiona is furry.[(((triple7 triple6) -> rule1))] Harry is furry.[(((triple11 triple10) -> rule1) OR ((((triple12 triple9) -> rule2) triple10) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple11
((triple12 triple9) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple7 triple6) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple11 triple10) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple12 triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2