Anne is furry. Anne is green. Anne is round. Charlie is not quiet. Charlie is not rough. Charlie is smart. Charlie is young. Fiona is not rough. Fiona is round. Fiona is smart. Fiona is young. Harry is rough. If someone is young then they are green. All round, rough people are smart.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is young then they are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
All round, rough people are smart.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Anne is green.
True
1
proof
[(triple2)]
("Anne" "is" "green" "+")
triple2
Harry is not rough.
False
1
inv-proof
[(triple12)]
("Harry" "is" "rough" "-")
triple12
Fiona is green.
True
2
proof
[(((triple11) -> rule1))]
("Fiona" "is" "green" "+")
((triple11) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple11) -> rule1))]
("Fiona" "is" "green" "-")
((triple11) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is round.[(triple3)] Charlie is not quiet.[(triple4)] Charlie is not rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Fiona is not rough.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] Fiona is young.[(triple11)] Harry is rough.[(triple12)] @1: Charlie is green.[(((triple7) -> rule1))] Fiona is green.[(((triple11) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple4
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Charlie is green.
("Charlie" "is" "green" "+")
((triple7) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple11) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1