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