Bob is green. Erin is green. Fiona is nice. Harry is young. If someone is white and not blue then they are big. All green people are white.
Bob is green.
("Bob" "is" "green" "+")
Erin is green.
("Erin" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is white and not blue then they are big.
((("someone" "is" "white" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "big" "+"))
All green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Erin is green.
True
1
proof
[(triple2)]
("Erin" "is" "green" "+")
triple2
Erin is not green.
False
1
inv-proof
[(triple2)]
("Erin" "is" "green" "-")
triple2
Erin is white.
True
2
proof
[(((triple2) -> rule2))]
("Erin" "is" "white" "+")
((triple2) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Bob is not white.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "white" "-")
((triple1) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Bob is green.[(triple1)] Erin is green.[(triple2)] Fiona is nice.[(triple3)] Harry is young.[(triple4)] @1: Bob is white.[(((triple1) -> rule2))] Erin is white.[(((triple2) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Harry is young.
("Harry" "is" "young" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple2) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1