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