Dave is red. Fiona is big. Gary is red. Harry is furry. All furry things are not cold. All furry things are young. If Harry is not red then Harry is young.
Dave is red.
("Dave" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is furry.
("Harry" "is" "furry" "+")
All furry things are not cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "-"))
All furry things are young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If Harry is not red then Harry is young.
((("Harry" "is" "red" "~")) -> ("Harry" "is" "young" "+"))
Harry is furry.
True
1
proof
[(triple4)]
("Harry" "is" "furry" "+")
triple4
Harry is not furry.
False
1
inv-proof
[(triple4)]
("Harry" "is" "furry" "-")
triple4
Harry is young.
True
2
proof
[(((triple4) -> rule2))]
("Harry" "is" "young" "+")
((triple4) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple4) -> rule2))]
("Harry" "is" "young" "-")
((triple4) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "young" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Dave is red.[(triple1)] Fiona is big.[(triple2)] Gary is red.[(triple3)] Harry is furry.[(triple4)] @1: Harry is not cold.[(((triple4) -> rule1))] Harry is young.[(((triple4) -> rule2))]
Dave is red.
("Dave" "is" "red" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4
Harry is not cold.
("Harry" "is" "cold" "-")
((triple4) -> (rule1 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple4) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1