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