Bob is not smart. Erin is white. Gary is young. All blue people are round. If Bob is red and Bob is young then Bob is round. White people are young.
Bob is not smart.
("Bob" "is" "smart" "-")
Erin is white.
("Erin" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If Bob is red and Bob is young then Bob is round.
((("Bob" "is" "red" "+") ("Bob" "is" "young" "+")) -> ("Bob" "is" "round" "+"))
White people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Gary is young.
True
1
proof
[(triple3)]
("Gary" "is" "young" "+")
triple3
Erin is not white.
False
1
inv-proof
[(triple2)]
("Erin" "is" "white" "-")
triple2
Erin is young.
True
2
proof
[(((triple2) -> rule3))]
("Erin" "is" "young" "+")
((triple2) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple2) -> rule3))]
("Erin" "is" "young" "-")
((triple2) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "round" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Bob is not smart.[(triple1)] Erin is white.[(triple2)] Gary is young.[(triple3)] @1: Erin is young.[(((triple2) -> rule3))]
Bob is not smart.
("Bob" "is" "smart" "-")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
((triple2) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1