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