Bob is blue. Bob is rough. Bob is young. Charlie is not red. Charlie is not rough. Charlie is smart. Charlie is white. Erin is smart. Fiona is rough. Fiona is white. If Charlie is smart and Charlie is young then Charlie is rough. All blue, rough people are white. If someone is smart and not young then they are not red.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Charlie is smart and Charlie is young then Charlie is rough.
((("Charlie" "is" "smart" "+") ("Charlie" "is" "young" "+")) -> ("Charlie" "is" "rough" "+"))
All blue, rough people are white.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
If someone is smart and not young then they are not red.
((("someone" "is" "smart" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "red" "-"))
Charlie is white.
True
1
proof
[(triple7)]
("Charlie" "is" "white" "+")
triple7
Charlie is red.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "red" "+")
triple4
Bob is white.
True
3
proof
[(((triple1 triple2) -> rule2))]
("Bob" "is" "white" "+")
((triple1 triple2) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is not white.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("Bob" "is" "white" "-")
((triple1 triple2) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "white" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Bob is blue.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3)] Charlie is not red.[(triple4)] Charlie is not rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Erin is smart.[(triple8)] Fiona is rough.[(triple9)] Fiona is white.[(triple10)] @1: Bob is white.[(((triple1 triple2) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is not red.
("Charlie" "is" "red" "-")
triple4
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Bob is white.
("Bob" "is" "white" "+")
((triple1 triple2) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1