Dave is kind. Erin is big. Fiona is big. Fiona is green. Fiona is quiet. Fiona is young. Harry is white. All green, quiet people are young. All kind, big people are round. If someone is big and quiet then they are kind.
Dave is kind.
("Dave" "is" "kind" "+")
Erin is big.
("Erin" "is" "big" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is white.
("Harry" "is" "white" "+")
All green, quiet people are young.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All kind, big people are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and quiet then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
Fiona is quiet.
True
1
proof
[(triple5)]
("Fiona" "is" "quiet" "+")
triple5
Fiona is not quiet.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "quiet" "-")
triple5
Fiona is kind.
True
3
proof
[(((triple3 triple5) -> rule3))]
("Fiona" "is" "kind" "+")
((triple3 triple5) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
3
inv-proof
[(((triple3 triple5) -> rule3))]
("Fiona" "is" "kind" "-")
((triple3 triple5) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Dave is kind.[(triple1)] Erin is big.[(triple2)] Fiona is big.[(triple3)] Fiona is green.[(triple4)] Fiona is quiet.[(triple5)] Fiona is young.[(triple6 OR ((triple4 triple5) -> rule1))] Harry is white.[(triple7)] @1: Fiona is kind.[(((triple3 triple5) -> rule3))] @2: Fiona is round.[(((((triple3 triple5) -> rule3) triple3) -> rule2))]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
((triple4 triple5) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple3 triple5) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((((triple3 triple5) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2