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