Anne is not furry. Anne is not kind. Anne is red. Anne is smart. Anne is white. Anne is young. Fiona is kind. Fiona is rough. Fiona is young. Harry is rough. Harry is not smart. Harry is young. If someone is young and kind then they are rough. Kind, smart people are not furry. All kind people are young. All smart, young people are white. If someone is young then they are red. If someone is white and not young then they are not red.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
Harry is young.
("Harry" "is" "young" "+")
If someone is young and kind then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Kind, smart people are not furry.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "-"))
All kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
All smart, young people are white.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is white and not young then they are not red.
((("someone" "is" "white" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "red" "-"))
Fiona is young.
True
1
proof
[(triple9 OR ((triple7) -> rule3))]
("Fiona" "is" "young" "+")
triple9
((triple7) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
1
inv-proof
[(triple9 OR ((triple7) -> rule3))]
("Fiona" "is" "young" "-")
triple9
((triple7) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
True
2
proof
[(((triple9) -> rule5) OR ((((triple7) -> rule3)) -> rule5))]
("Fiona" "is" "red" "+")
((triple9) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not red.
False
2
inv-proof
[(((triple9) -> rule5) OR ((((triple7) -> rule3)) -> rule5))]
("Fiona" "is" "red" "-")
((triple9) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "white" "-")
Anne is rough.
Unknown
rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "rough" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Anne is not furry.[(triple1)] Anne is not kind.[(triple2)] Anne is red.[(triple3 OR ((triple6) -> rule5))] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple4 triple6) -> rule4))] Anne is young.[(triple6)] Fiona is kind.[(triple7)] Fiona is rough.[(triple8 OR ((triple9 triple7) -> rule1) OR ((((triple7) -> rule3) triple7) -> rule1))] Fiona is young.[(triple9 OR ((triple7) -> rule3))] Harry is not smart.[(triple11)] Harry is rough.[(triple10)] Harry is young.[(triple12)] @1: Fiona is red.[(((triple9) -> rule5) OR ((((triple7) -> rule3)) -> rule5))] Harry is red.[(((triple12) -> rule5))]
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is not kind.
("Anne" "is" "kind" "-")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
((triple6) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
((triple4 triple6) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
((triple9 triple7) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple7) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple9
((triple7) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is not smart.
("Harry" "is" "smart" "-")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
((triple9) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple12) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1