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