Bob is not red. Charlie is young. Fiona is big. Fiona is green. Fiona is kind. Fiona is red. Gary is big. Gary is cold. Gary is green. Gary is not kind. Gary is red. Gary is young. If someone is white and young then they are not green. Green people are red. All young people are not white.
Bob is not red.
("Bob" "is" "red" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is white and young then they are not green.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "-"))
Green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
All young people are not white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "-"))
Fiona is red.
True
1
proof
[(triple6 OR ((triple4) -> rule2))]
("Fiona" "is" "red" "+")
triple6
((triple4) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not kind.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "kind" "-")
triple5
Gary is not white.
True
2
proof
[(((triple12) -> rule3))]
("Gary" "is" "white" "-")
((triple12) -> (rule3 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is white.
False
2
inv-proof
[(((triple12) -> rule3))]
("Gary" "is" "white" "+")
((triple12) -> (rule3 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is not red.[(triple1)] Charlie is young.[(triple2)] Fiona is big.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is red.[(triple6 OR ((triple4) -> rule2))] Gary is big.[(triple7)] Gary is cold.[(triple8)] Gary is green.[(triple9)] Gary is not kind.[(triple10)] Gary is red.[(triple11 OR ((triple9) -> rule2))] Gary is young.[(triple12)] @1: Charlie is not white.[(((triple2) -> rule3))] Gary is not white.[(((triple12) -> rule3))]
Bob is not red.
("Bob" "is" "red" "-")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
((triple4) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is not kind.
("Gary" "is" "kind" "-")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
((triple9) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple12
Charlie is not white.
("Charlie" "is" "white" "-")
((triple2) -> (rule3 % int1))
Charlie is not white.
("Charlie" "is" "white" "-")
int1
Gary is not white.
("Gary" "is" "white" "-")
((triple12) -> (rule3 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1