Fiona is rough. Harry is red. Rough people are round. Kind people are round. If Fiona is red and Fiona is smart then Fiona is kind.
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If Fiona is red and Fiona is smart then Fiona is kind.
((("Fiona" "is" "red" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "kind" "+"))
Fiona is rough.
True
1
proof
[(triple1)]
("Fiona" "is" "rough" "+")
triple1
Harry is not red.
False
1
inv-proof
[(triple2)]
("Harry" "is" "red" "-")
triple2
Fiona is round.
True
2
proof
[(((triple1) -> rule1))]
("Fiona" "is" "round" "+")
((triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("Fiona" "is" "round" "-")
((triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "kind" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Fiona is rough.[(triple1)] Harry is red.[(triple2)] @1: Fiona is round.[(((triple1) -> rule1))]
Fiona is rough.
("Fiona" "is" "rough" "+")
triple1
Harry is red.
("Harry" "is" "red" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
((triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1