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