Anne is kind. Anne is nice. Anne is round. Anne is smart. Anne is young. Fiona is round. Fiona is young. All round people are big. If Anne is smart and Anne is nice then Anne is round. If someone is nice and kind then they are round. Young, blue people are smart. If Anne is young then Anne is round. All kind, blue people are young.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If Anne is smart and Anne is nice then Anne is round.
((("Anne" "is" "smart" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "round" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Young, blue people are smart.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If Anne is young then Anne is round.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "round" "+"))
All kind, blue people are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Anne is young.
True
1
proof
[(triple5)]
("Anne" "is" "young" "+")
triple5
Fiona is not round.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "round" "-")
triple6
Fiona is big.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "big" "+")
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fiona" "is" "big" "-")
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3 OR ((triple5) -> rule5) OR ((triple2 triple1) -> rule3) OR ((triple4 triple2) -> rule2))] Anne is smart.[(triple4)] Anne is young.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)] @1: Anne is big.[(((triple3) -> rule1) OR ((((triple5) -> rule5)) -> rule1) OR ((((triple2 triple1) -> rule3)) -> rule1) OR ((((triple4 triple2) -> rule2)) -> rule1))] Fiona is big.[(((triple6) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
((triple5) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple2 triple1) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple4 triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Anne is big.
("Anne" "is" "big" "+")
((triple3) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2 triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple4 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1