Anne is blue. Anne is young. Bob is blue. Bob is nice. Fiona is red. Fiona is not white. Gary is not red. All furry people are young. Blue, round people are young. All furry people are white. Red people are not white. Round, red people are blue. All red people are not blue. If Fiona is not young and Fiona is not red then Fiona is nice. If Fiona is nice then Fiona is white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Gary is not red.
("Gary" "is" "red" "-")
All furry people are young.
((("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
Blue, round people are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
All furry people are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
Red people are not white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "-"))
Round, red people are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
All red people are not blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "-"))
If Fiona is not young and Fiona is not red then Fiona is nice.
((("Fiona" "is" "young" "~") ("Fiona" "is" "red" "~")) -> ("Fiona" "is" "nice" "+"))
If Fiona is nice then Fiona is white.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "white" "+"))
Bob is nice.
True
1
proof
[(triple4)]
("Bob" "is" "nice" "+")
triple4
Fiona is not red.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "red" "-")
triple5
Fiona is not blue.
True
2
proof
[(((triple5) -> rule6))]
("Fiona" "is" "blue" "-")
((triple5) -> (rule6 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is blue.
False
2
inv-proof
[(((triple5) -> rule6))]
("Fiona" "is" "blue" "+")
((triple5) -> (rule6 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Bob is white.
Unknown
rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "white" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Anne is young.[(triple2)] Bob is blue.[(triple3)] Bob is nice.[(triple4)] Fiona is not white.[(triple6 OR ((triple5) -> rule4))] Fiona is red.[(triple5)] Gary is not red.[(triple7)] @1: Fiona is not blue.[(((triple5) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Fiona is not white.
("Fiona" "is" "white" "-")
triple6
((triple5) -> (rule4 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Gary is not red.
("Gary" "is" "red" "-")
triple7
Fiona is not blue.
("Fiona" "is" "blue" "-")
((triple5) -> (rule6 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1