Dave is rough. Fiona is rough. Fiona is round. Gary is kind. Gary is smart. Harry is red. Harry is smart. All big people are round. Red people are furry. All big, rough people are red.
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
All big, rough people are red.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Fiona is rough.
True
1
proof
[(triple2)]
("Fiona" "is" "rough" "+")
triple2
Gary is not kind.
False
1
inv-proof
[(triple4)]
("Gary" "is" "kind" "-")
triple4
Harry is furry.
True
2
proof
[(((triple6) -> rule2))]
("Harry" "is" "furry" "+")
((triple6) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple6) -> rule2))]
("Harry" "is" "furry" "-")
((triple6) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is furry.
Unknown
rconc
[@2: Gary is furry.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "furry" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Dave is rough.[(triple1)] Fiona is rough.[(triple2)] Fiona is round.[(triple3)] Gary is kind.[(triple4)] Gary is smart.[(triple5)] Harry is red.[(triple6)] Harry is smart.[(triple7)] @1: Harry is furry.[(((triple6) -> rule2))]
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Gary is smart.
("Gary" "is" "smart" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
((triple6) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1