Anne is big. Anne is furry. Anne is round. Fiona is big. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. Harry is furry. Harry is nice. Harry is round. Harry is smart. All nice people are white. If Anne is white then Anne is rough. Big people are furry. All big people are round. All nice people are rough. Nice people are white.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is round.
("Anne" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If Anne is white then Anne is rough.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "rough" "+"))
Big people are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
All nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Fiona is big.
True
1
proof
[(triple4)]
("Fiona" "is" "big" "+")
triple4
Fiona is not smart.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "smart" "-")
triple8
Harry is rough.
True
2
proof
[(((triple10) -> rule5))]
("Harry" "is" "rough" "+")
((triple10) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not white.
False
2
inv-proof
[(((triple10) -> rule1) OR ((triple10) -> rule6))]
("Harry" "is" "white" "-")
((triple10) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple10) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Anne is not rough.
Unknown
inv-rconc
[@2: Anne is rough.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Anne" "is" "rough" "-")
Anne is white.
Unknown
rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple1) -> rule3))] Anne is round.[(triple3 OR ((triple1) -> rule4))] Fiona is big.[(triple4)] Fiona is nice.[(triple5)] Fiona is rough.[(triple6 OR ((triple5) -> rule5))] Fiona is round.[(triple7 OR ((triple4) -> rule4))] Fiona is smart.[(triple8)] Harry is furry.[(triple9)] Harry is nice.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Fiona is furry.[(((triple4) -> rule3))] Fiona is white.[(((triple5) -> rule1) OR ((triple5) -> rule6))] Harry is rough.[(((triple10) -> rule5))] Harry is white.[(((triple10) -> rule1) OR ((triple10) -> rule6))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple3
((triple1) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
((triple5) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple7
((triple4) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple4) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple5) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple5) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple10) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple10) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple10) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1