Bob is cold. Dave is blue. Fiona is big. Gary is nice. If someone is cold then they are young. Blue people are quiet. All nice, blue people are young.
Bob is cold.
("Bob" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Blue people are quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
All nice, blue people are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Dave is blue.
True
1
proof
[(triple2)]
("Dave" "is" "blue" "+")
triple2
Gary is not nice.
False
1
inv-proof
[(triple4)]
("Gary" "is" "nice" "-")
triple4
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "quiet" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Bob is cold.[(triple1)] Dave is blue.[(triple2)] Fiona is big.[(triple3)] Gary is nice.[(triple4)] @1: Bob is young.[(((triple1) -> rule1))] Dave is quiet.[(((triple2) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
((triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1